Computability and Logic
consistencyproof theorycompletenessfirst-order logicmodel theorydefinabilityTuring machinecomputability theoryrecursion theoryincompleteness
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Nonstandard models of arithmetic (03H15) Computability and recursion theory (03Dxx)
- Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
- Ramsification and the ramifications of Prior's puzzle
- On the ‘definability of definable’ problem of Alfred Tarski, Part II
- Programming infinite machines
- Deciding simple infinity axiom sets with one binary relation by means of superpostulates
- Computability, complexity, logic. Transl. from the German
- Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions
- Existential-import mathematics
- Action type deontic logic
- Is there a ``Hilbert thesis?
- The enhanced indispensability argument, the circularity problem, and the interpretability strategy
- Computable axiomatizability of elementary classes
- scientific article; zbMATH DE number 1805574 (Why is no real title available?)
- On decidability of theories of regular languages
- Against the judgment-dependence of mathematics and logic
- Relevance for the classical logician
- Counterfactual logic and the necessity of mathematics
- Rosenkranz's logic of justification and unprovability
- On the completeness and the decidability of strictly monadic second‐order logic
- What is the natural abstraction level of an algorithm?
- Alethic reference
- Realism and empirical equivalence
- The fixed point problem of a simple reversible language
- The never-ending recursion
- scientific article; zbMATH DE number 47306 (Why is no real title available?)
- Validity, dialetheism and self-reference
- Call-by-value lambda calculus as a model of computation in Coq
- Tractarian first-order logic: identity and the N-operator
- Variations on a Montagovian theme
- Propositional computability logic I
- Why there is no general solution to the problem of software verification
- A tableau system for quasi-hybrid logic
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
- A formalization of multi-tape Turing machines
- Completeness of Hoare logic with inputs over the standard model
- Reference in arithmetic
- Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)
- Computational complexity of theories of a binary predicate with a small number of variables
- Axiomatic theories of partial ground. I: The base theory
- Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth
- The diagonalization method in quantum recursion theory
- There is no paradox of logical validity
- scientific article; zbMATH DE number 7561596 (Why is no real title available?)
- WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC
- Proof verification and proof discovery for relativity
- Weak call-by-value lambda calculus as a model of computation in Coq
- Closure of a priori knowability under a priori knowable material implication
- Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts
- Aspects of categorical recursion theory
- Modal-epistemic arithmetic and the problem of quantifying in
- Generating candidate busy beaver machines (or how to build the zany zoo)
- On decidability and axiomatizability of some ordered structures
- Mathematical intuition and natural numbers: a critical discussion
- On the diagonal lemma of Gödel and Carnap
- Truth, disjunction, and induction
- Completeness of Hoare logic relative to the standard model
- Gödel's second theorem and the provability of God's existence
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)
