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