- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0665
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Pulcini, Gabriele
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00153-021-00800-8
- URN
-
urn:nbn:de:101:1-2022020220441860766418
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:40 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Pulcini, Gabriele
- SpringerLink (Online service)
Other Objects (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