scientific article

zbMath0752.03001MaRDI QIDQ3998991

Norman M. Martin

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

propositional logicnegationpropositional modal logicconjunctiondisjunctionKripke style semanticsfoundations of mathematical logicpositive implicationcomplete implication-negation logicfirst-order quantification theorymulti-connective systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05) Foundations of classical theories (including reverse mathematics) (03B30) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Forecasting benchmarks of long-term stock returns via machine learning, Topological charges and the genus of surfaces, Revealing Structures of Argumentations in Classroom Proving Processes, The Zhegalkin Polynomial of Multiseat Sole Sufficient Operator, Radiant gravitational collapse with anisotropy in pressures and bulk viscosity, Stochastic bifurcations induced by correlated noise in a birhythmic van der Pol system, A normative framework for argument quality: argumentation schemes with a Bayesian foundation, Homeomorphism and the equivalence of logical systems, The fallacy of composition: guiding concepts, historical cases, and research problems