From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1661-8300
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic ; day:7 ; month:3 ; year:2022 ; pages:1-15
Logica Universalis ; (7.3.2022), 1-15
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11787-022-00300-0
- URN
-
urn:nbn:de:101:1-2022060300202033010906
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Fermüller, Christian G.
- Lang, Timo
- Pavlova, Alexandra
- SpringerLink (Online service)
Ähnliche Objekte (12)
Gödel's excursions into intuitionistic logic
Ten problems in Gödel logic
Algebraic Calculi for Separation Logic
Mechanising Gödel–Löb Provability Logic in HOL Light
Linear logic based calculi for object Petri nets
Sequent Calculi for the Propositional Logic of HYPE
Uniform interpolation and sequent calculi in modal logic
Involutive symmetric Gödel spaces, their algebraic duals and logic
Higher-Order Logic and Disquotational Truth
From Semantic Games to Provability: The Case of Gödel Logic
The traditional preoccupation of logic: truth (validity)
On Media, typewriters, logic and truth: Essays
Gödel's excursions into intuitionistic logic
Ten problems in Gödel logic
Algebraic Calculi for Separation Logic
Mechanising Gödel–Löb Provability Logic in HOL Light
Linear logic based calculi for object Petri nets
Sequent Calculi for the Propositional Logic of HYPE
Uniform interpolation and sequent calculi in modal logic
Involutive symmetric Gödel spaces, their algebraic duals and logic
Higher-Order Logic and Disquotational Truth
From Semantic Games to Provability: The Case of Gödel Logic
The traditional preoccupation of logic: truth (validity)
On Media, typewriters, logic and truth: Essays
Gödel's excursions into intuitionistic logic
Ten problems in Gödel logic
Algebraic Calculi for Separation Logic
Mechanising Gödel–Löb Provability Logic in HOL Light
Linear logic based calculi for object Petri nets
Sequent Calculi for the Propositional Logic of HYPE
Uniform interpolation and sequent calculi in modal logic
Involutive symmetric Gödel spaces, their algebraic duals and logic
Higher-Order Logic and Disquotational Truth
From Semantic Games to Provability: The Case of Gödel Logic
The traditional preoccupation of logic: truth (validity)