scientific article; zbMATH DE number 1950433

MaRDI QIDQ4413048zbMATH OpenFDO

Authors Alonzo Church

Publication date 17 July 2003

Mathematics Subject Classification ID

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 propositional logic (03B05) Classical first-order logic (03B10)

Cited in

(19)

• An epistemic model of an agent who does not reflect on reasoning processes
• The meaning of the quantifiers in the logic of Lesniewski
• Models of noncontradictory formulas and the Ershov hierarchy
• A modal sortal logic
• Symmetric generalized Galois logics
• Mathematical logic. An introduction (to appear)
• Interconnection of the lattices of extensions of four logics
• Doxastic logic: a new approach
• scientific article; zbMATH DE number 1357763 (Why is no real title available?)
• scientific article; zbMATH DE number 4114587 (Why is no real title available?)
• Probability propositional calculus with doubled nonstandard semantics.
• scientific article; zbMATH DE number 1439714 (Why is no real title available?)
• Metainferential duality
• On Automorphisms of Polyadic Algebras
• The Cut Elimination Theorem in the Unary Second Order Language
• Neo-Logicism and Its Logic
• Logical activation functions for training arbitrary probabilistic Boolean operations
• On the expressive power of implication in classical propositional logic
• Quantified temporal alethic boulesic doxastic logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413048)