scientific article; zbMATH DE number 5582119
From MaRDI portal
Publication:5320764
zbMath1173.03001MaRDI QIDQ5320764
Publication date: 22 July 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Computability and recursion theory (03Dxx) Model theory (03Cxx) Set theory (03Exx) Nonstandard models (03Hxx)
Related Items (42)
Interpretation of constructive multi-typed theory in the theory of arithmetical truth ⋮ Metamathematical properties of a constructive multi-typed theory ⋮ Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) ⋮ SUFFICIENT CONDITIONS FOR THE EXISTENCE OF UNDECIDABLE INDIRECTLY REFLECTIVE SENTENCES ⋮ Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation ⋮ New logics for quantum non-individuals? ⋮ A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS ⋮ What is the Church-Turing Thesis? ⋮ The mathematical descriptions of truth and change ⋮ Program Size Complexity of Correction Grammars in the Ershov Hierarchy ⋮ The paraconsistent logic of quantum superpositions ⋮ On structural features of the implication fragment of Frege's \textit{Grundgesetze} ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ Logic explained networks ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ Foundations of applied mathematics. I ⋮ Computable Algebraic Structures and Nonstandard Arithmetic ⋮ Non-monotonic reasoning via dynamic consequence ⋮ Gold-Style Learning Theory ⋮ Taking the Pirahã seriously ⋮ EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS ⋮ Axiomatic theory of betweenness ⋮ Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators ⋮ Gödel's natural deduction ⋮ Intelligence in Strategic Games ⋮ Kripke-type semantics for \(\mathrm{CG}_3'\) ⋮ An epistemic logic of blameworthiness ⋮ An extended propositional logic for incomplete knowledge ⋮ Significato e verita nell'aritmetica peaniana ⋮ Truthful germs are contagious: a local-to-global characterization of truthfulness ⋮ Non-uniqueness and exotic solutions of conjugacy equations ⋮ Knowing-how under uncertainty ⋮ Calculi for many-valued logics ⋮ On composition of bounded-recall plans ⋮ Brouwer’s Ideas and Intuitionistic Fuzziness ⋮ Su una classe equazionale di algebre ⋮ The monotonic sequence theorem and measurement of lengths and areas in axiomatic non-standard hyperrational analysis ⋮ Knowing the price of success ⋮ Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.) ⋮ SURREAL ORDERED EXPONENTIAL FIELDS ⋮ Some Combinatorial Theorems Equivalent to the Prime Ideal Theorem
This page was built for publication:
