What is a logical theory? On theories containing assertions and denials

DOI10.1007/s11229-019-02183-zzbMath1525.03054arXiv1903.02338OpenAlexW2963638387MaRDI QIDQ6067100

Carolina Blasio, Carlos Caleiro, João Marcos

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1903.02338

zbMATH Keywords

logical consequencebilateralismassertions and denialsnotion of theory

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items

Logical multilateralism ⋮ Monstrous content and the bounds of discourse ⋮ Finite two-dimensional proof systems for non-finitely axiomatizable logics

Cites Work

• Some theorems on structural entailment relations
• Semantical investigations in Heyting's intuitionistic logic
• Model theory
• On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
• Disjoint fibring of non-deterministic matrices
• Sentential calculus for logical falsehoods
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item