Computability and Logic
From MaRDI portal
completenesscomputability theoryconsistencydefinabilityfirst-order logicincompletenessmodel theoryproof theoryrecursion theoryTuring machine
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Basic properties of first-order languages and structures (03C07) Computability and recursion theory (03Dxx) Proof theory in general (including proof-theoretic semantics) (03F03) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Nonstandard models of arithmetic (03H15)
Recommendations
Cited in
(73)- Computability, complexity, logic. Transl. from the German
- Weak call-by-value lambda calculus as a model of computation in Coq
- The never-ending recursion
- Axiomatic theories of partial ground. I: The base theory
- Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth
- Against the judgment-dependence of mathematics and logic
- The fixed point problem of a simple reversible language
- On decidability of theories of regular languages
- Validity, dialetheism and self-reference
- Deciding simple infinity axiom sets with one binary relation by means of superpostulates
- What is the natural abstraction level of an algorithm?
- Why there is no general solution to the problem of software verification
- There is no paradox of logical validity
- Action type deontic logic
- Gödel's second theorem and the provability of God's existence
- Truth, disjunction, and induction
- On decidability and axiomatizability of some ordered structures
- Call-by-value lambda calculus as a model of computation in Coq
- Modal-epistemic arithmetic and the problem of quantifying in
- Variations on a Montagovian theme
- Is there a ``Hilbert thesis?
- Generating candidate busy beaver machines (or how to build the zany zoo)
- The enhanced indispensability argument, the circularity problem, and the interpretability strategy
- Computational complexity of theories of a binary predicate with a small number of variables
- Computable axiomatizability of elementary classes
- Existential-import mathematics
- A tableau system for quasi-hybrid logic
- Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions
- Completeness of Hoare logic relative to the standard model
- Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)
- scientific article; zbMATH DE number 1805574 (Why is no real title available?)
- Closure of a priori knowability under a priori knowable material implication
- On the diagonal lemma of Gödel and Carnap
- scientific article; zbMATH DE number 47306 (Why is no real title available?)
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
- Tractarian first-order logic: identity and the N-operator
- Reference in arithmetic
- WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC
- Aspects of categorical recursion theory
- On the ‘definability of definable’ problem of Alfred Tarski, Part II
- Monadic decomposability of regular relations
- Relevance for the classical logician
- Proof verification and proof discovery for relativity
- Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts
- Propositional computability logic I
- Mathematical intuition and natural numbers: a critical discussion
- On the completeness and the decidability of strictly monadic second‐order logic
- Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
- Ramsification and the ramifications of Prior's puzzle
- Programming infinite machines
- Craig interpolation property in -bundled fragment of first-order modal logic
- Note on a translation from first-order logic into the calculus of relations preserving validity and finite validity
- Why should identity be logical??
- Truth, preservation of truth and semantic paradoxes
- Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
- A syntactic proof of the decidability of first-order monadic logic
- Lindström's characterizability of abstract logic systems for analytic structures based on measures
- Is addition definable from multiplication and successor?
- Problems of algorithmic decidability and axiomatizability of finite subset algebra for binary operations
- Variations on the Kripke trick
- Computational individuation: isomorphism, not indeterminacy
- An introduction to the theory of linear integer arithmetic (invited paper)
- On the theory of subalgebra lattices for arbitrary groupoids
- Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
- On undecidability degree of theory of figures in countable and uncountable linear spaces
- Universal Turing Machine
- A formalization of multi-tape Turing machines
- Alethic reference
- Realism and empirical equivalence
- Counterfactual logic and the necessity of mathematics
- Rosenkranz's logic of justification and unprovability
- Completeness of Hoare logic with inputs over the standard model
- The diagonalization method in quantum recursion theory
This page was built for publication: Computability and Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525239)
