The following pages link to (Q4159022):
Displaying 50 items.
- Paraconsistent logic (Q266659) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- An expressivist bilateral meaning-is-use analysis of classical propositional logic (Q302171) (← links)
- Erotetic search scenarios and three-valued logic (Q302229) (← links)
- Graphs of plural cuts (Q383359) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- The logical structure of truthmaking (Q496319) (← links)
- Inferential erotetic logic meets inquisitive semantics (Q514585) (← links)
- Why conclusions should remain single (Q543530) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Ideal paraconsistent logics (Q647409) (← links)
- A note on admissible rules and the disjunction property in intermediate logics (Q661289) (← links)
- Consequence mining. Constants versus consequence relations (Q692175) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Some theorems on structural entailment relations (Q798645) (← links)
- Socratic proofs and paraconsistency: A case study (Q813092) (← links)
- Semantic holism (Q918524) (← links)
- Expressive power and incompleteness of propositional logics (Q965859) (← links)
- Graded consequence revisited (Q983060) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- Multi-valued semantics: why and how (Q1037597) (← links)
- On sequence-conclusion natural deduction systems (Q1062053) (← links)
- Remarks on a survey article on many valued logic by A. Urquhart (Q1100190) (← links)
- Reduced products of logical matrices (Q1145134) (← links)
- Erotetic arguments: A preliminary analysis (Q1181488) (← links)
- The logic of questions as a theory of erotetic arguments (Q1292999) (← links)
- Erotetic implications (Q1319265) (← links)
- Rejection and truth-value gaps (Q1347612) (← links)
- Singulary extensional connectives: A closer look (Q1362590) (← links)
- False though partly true -- an experiment in logic (Q1425194) (← links)
- Harmony and autonomy in classical logic (Q1568714) (← links)
- The revival of rejective negation (Q1582228) (← links)
- Abstract logical constants (Q1632049) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Compositionality solves Carnap's problem (Q1706739) (← links)
- Anything goes (Q1708461) (← links)
- Deduction and reduction theorems for inferential erotetic logic (Q1743997) (← links)
- Normalization of N-graphs via sub-N-graphs (Q1744401) (← links)
- Blurring: an approach to conflation (Q1750295) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- On negation: Pure local rules (Q1775871) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Socratic proofs (Q1876085) (← links)
- The expressive truth conditions of two-valued logic (Q1882401) (← links)
- Consequence and confirmation (Q1906665) (← links)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
