- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Complementary Proof Nets for Classical Logic ; volume:17 ; number:4 ; day:14 ; month:9 ; year:2023 ; pages:411-432 ; date:12.2023
Logica Universalis ; 17, Heft 4 (14.9.2023), 411-432, 12.2023
- Urheber
-
Pulcini, Gabriele
Varzi, Achille C.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11787-023-00337-9
- URN
-
urn:nbn:de:101:1-2024013111362499106234
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:20 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
- Varzi, Achille C.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Proof reconstruction in classical and non-classical logics
Complementary Logics for Classical Propositional Languages
Classical vs non-classical logics : the universality of classical logic
Model checking with logic based petri nets
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
Logic and proof method of recursion
Non-classical aspects in proof complexity
Linear logic based calculi for object Petri nets
LTL model checking with logic based petri nets
Improving proof search in intuitionistic propositional logic
A pragmatic approach to classical logic
Proof reconstruction in classical and non-classical logics
Complementary Logics for Classical Propositional Languages
Classical vs non-classical logics : the universality of classical logic
Model checking with logic based petri nets
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
Logic and proof method of recursion
Non-classical aspects in proof complexity
Linear logic based calculi for object Petri nets
LTL model checking with logic based petri nets
Improving proof search in intuitionistic propositional logic
A pragmatic approach to classical logic
Proof reconstruction in classical and non-classical logics
Complementary Logics for Classical Propositional Languages
Classical vs non-classical logics : the universality of classical logic
Model checking with logic based petri nets
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
Logic and proof method of recursion
Non-classical aspects in proof complexity
Linear logic based calculi for object Petri nets
LTL model checking with logic based petri nets
Improving proof search in intuitionistic propositional logic