scientific article
From MaRDI portal
Publication:2760426
zbMath0983.03001MaRDI QIDQ2760426
No author found.
Publication date: 2 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items (14)
New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers* ⋮ God, souls, and Turing: in defense of the theological objection to the Turing test ⋮ A p-adic probability logic ⋮ Why there is no general solution to the problem of software verification ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Priest on Negation ⋮ Some comments on history based structures ⋮ Monotonic and non-monotonic embeddings of Anselm's proof ⋮ The Classical Model Existence Theorem in Subclassical Predicate Logics I ⋮ An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic ⋮ On the Methodology of Paraconsistent Logic ⋮ Towards a bridge over two approaches in connexive logic ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility
This page was built for publication:
