Quasi-truth-functional systems of propositional logic
From MaRDI portal
Recommendations
- Propositional Q-logic
- scientific article; zbMATH DE number 1191233
- Frege systems for quantified Boolean logic
- Systems of logical reasoning in logics of free-quantifier functional levels
- First-order logics of quasiary predicates
- Free-quantifier functional logics of partial quasi-ary predicates
- scientific article; zbMATH DE number 1088204
- On propositional quantifiers in provability logic
- scientific article; zbMATH DE number 5011005
- scientific article; zbMATH DE number 7325823
Cited in
(15)- What is a non-truth-functional logic?
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- Swap structures semantics for Ivlev-like modal logics
- Jaina Logic and the Philosophical Basis of Pluralism
- A propositional system induced by Japaridze's approach to IF logic
- scientific article; zbMATH DE number 7325823 (Why is no real title available?)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- On Ivlev's semantics for modality
- A Gödel-Dugundji-style theorem for the minimal structural logic
- From Jaśkowski's discussive logic to contemporary paraconsistent systems
- Meet-combination of consequence systems
- Nondeterministic first-order T-BAT logic
- Boolean and modal connectives as primitives in non-deterministic semantics
- Systems of combinatory logic related to Quine's `New Foundations'
This page was built for publication: Quasi-truth-functional systems of propositional logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3293394)
