- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0665
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
A note on cut-elimination for classical propositional logic ; day:26 ; month:11 ; year:2021 ; pages:1-11
Archive for mathematical logic ; (26.11.2021), 1-11
- Urheber
-
Pulcini, Gabriele
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00153-021-00800-8
- URN
-
urn:nbn:de:101:1-2022020220441860766418
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:40 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
- Pulcini, Gabriele
- SpringerLink (Online service)
Ähnliche Objekte (12)
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Wright’s Strict Finitistic Logic in the Classical Metatheory: The Propositional Case
Sequential composition of propositional logic programs
Complementary Logics for Classical Propositional Languages
Improving proof search in intuitionistic propositional logic
A comprehensive logic for epistemic propositional attidudes
Synthesizing semantics for extensions of propositional logic
Axiomatizations for propositional and modal team logic
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Wright’s Strict Finitistic Logic in the Classical Metatheory: The Propositional Case
Sequential composition of propositional logic programs
Complementary Logics for Classical Propositional Languages
Improving proof search in intuitionistic propositional logic
A comprehensive logic for epistemic propositional attidudes
Synthesizing semantics for extensions of propositional logic
Axiomatizations for propositional and modal team logic
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Wright’s Strict Finitistic Logic in the Classical Metatheory: The Propositional Case
Sequential composition of propositional logic programs
Complementary Logics for Classical Propositional Languages
Improving proof search in intuitionistic propositional logic
A comprehensive logic for epistemic propositional attidudes
Synthesizing semantics for extensions of propositional logic