Publication:4318839
From MaRDI portal
zbMath0813.03001MaRDI QIDQ4318839
Publication date: 10 January 1995
quantification; modality; modal operators; logical operators; implication structure; calculus of individuals; implication relations
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
03A05: Philosophical and critical aspects of logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Related Items
Popper's Notion of Duality and His Theory of Negations, Spatially modulated two- and three-component Rabi-coupled Gross–Pitaevskii systems, The Context of Inference, Sellars, Second-order Quantification, and Ontological Commitment, Universal Logic as a Science of Patterns, CATEGORICAL HARMONY AND PATH INDUCTION, Bi-intuitionistic implication structures, Homeomorphism and the equivalence of logical systems, The pleasures of anticipation: Enriching intuitionistic logic, Logic reduced to bare (proof-theoretical) bones, The revival of rejective negation, Logic and natural selection, Why the logical hexagon?, The modality and non-extensionality of the quantifiers, Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning, Logical geometries and information in the square of oppositions, Why do informal proofs conform to formal norms?, What is the logic of inference?, Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators