- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-9583
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Truth Diagrams Versus Extant Notations for Propositional Logic ; day:12 ; month:9 ; year:2019 ; pages:1-41
Journal of logic, language and information ; (12.9.2019), 1-41
- Creator
-
Cheng, Peter C.-H
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10849-019-09299-y
- URN
-
urn:nbn:de:101:1-2020012718433207323810
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:55 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
- Cheng, Peter C.-H
- 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
Sequential composition of propositional logic programs
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
A Propositional Cirquent Calculus for Computability Logic
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
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
Sequential composition of propositional logic programs
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
A Propositional Cirquent Calculus for Computability Logic
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
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
Sequential composition of propositional logic programs
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
A Propositional Cirquent Calculus for Computability Logic