scientific article; zbMATH DE number 3445215

MaRDI QIDQ4770375zbMATH OpenFDO

Authors Geoffrey A. M. Hunter

Publication date 1971

Mathematics Subject Classification ID

Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03B99)

Cited in

(12)

• A plea for logical objects
• Alethic undecidability and alethic indeterminacy
• Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
• PROBLEMS WITH COMPLEXITY IN GOLD'S PARADIGM OF INDUCTION Part I: Dynamic Complexity
• Russell and the Universalist Conception of Logic
• Addendum to ``Sloman's view of Gödel's sentence
• Simplification in a satisfiability checker for VLSI applications
• Sloman's view of Gödel's sentence
• On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz
• Axiomatization of some basic and modal Boolean connexive logics
• Henkin's theorem in textbooks
• Reflections on mathematical economics in the algorithmic mode

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 Q4770375)