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 (11)

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 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The fallacy of composition: guiding concepts, historical cases, and research problems

This page was built for publication: