scientific article; zbMATH DE number 3559512
From MaRDI portal
Publication:4132480
Cited in
(82)- A theory of sets with the negation of the axiom of infinity
- Logical methodology and the structure of logic syllabi
- The logicality of equality
- Henkin's theorem in textbooks
- Languages of logic and their applications
- Conceptions of Proof – In Research and Teaching
- Logical string rewriting
- Cut Elimination for Extended Sequent Calculi
- Groupes nilpotents existentiellement clos de classe fixée
- Lazy evaluations in Łukasiewicz type fuzzy logic
- Designing paradoxes: a revision-theoretic approach
- scientific article; zbMATH DE number 1746897 (Why is no real title available?)
- On non-Archimedean valued fields: a survey of algebraic, topological and metric structures, analysis and applications
- Some diophantine forms of gödel's theorem
- Łoś's theorem and the axiom of choice
- Incompleteness in a General Setting
- Grafted frames and S1 -completeness
- Constructive reflectivity principles for regular theories
- Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints
- Paradox, ZF, and the axiom of foundation
- Natural limitations of decision procedures for arithmetic with bounded quantifiers
- \(a\)-logic with arrows
- The concept of truth in a finite universe
- A general mathematics of names
- Graph properties for normal logic programs
- Branching-time logic with quantification over branches: The point of view of modal logic
- The quasi-lattice of indiscernible elements
- A logical expression of reasoning
- Intuitionistic ϵ‐ and τ‐calculi
- Axiomatising first-order temporal logic: Until and since over linear time
- End extensions of models of weak arithmetic theories
- Abstract deduction and inferential models for type theory
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- A logic for Miranda
- Inference rules using local contexts
- Elementary Propositions and Essentially Incomplete Knowledge: A Framework for the Interpretation of Quantum Mechanics
- Jean van Heijenoort's contributions to proof theory and its history
- Summary on non-Archimedean valued fields
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
- Quantified modal logic: non-normal worlds and propositional attitudes
- Most general first order theorems are not recursively enumerable
- Intuitionistic interpretation of deductive databases with incomplete information
- Consistency, mechanicalness, and the logic of the mind
- QuasiBoolean algebras and simultaneously definite properties in quantum mechanics
- Relativizations for the logic-automata connection
- A binary modal logic for the intersection types of lambda-calculus.
- On volume type functionals in Euclidean geometry
- Normal forms for a class of formulas
- Gruppenuniversalität und Homogenisierbarkeit
- Models for normal intuitionistic modal logics
- A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete
- Truth and the Liar
- Measures on cylindric algebras
- A logical framework for evolving software systems
- Models for stronger normal intuitionistic modal logics
- Using the tree representation of terms to recognize matching with neural networks
- Tarski on ``essentially richer metalanguages
- LOCALLY INVARIANT ORDERS ON GROUPS
- Divergent mathematical treatments in utility theory
- A computational glimpse at the Leibniz and Frege hierarchies
- Every countably presented formal topology is spatial, classically
- Mathematical quantum theory. I: Random ultrafilters as hidden variables
- The non-definedness notion in expert systems
- Intuitionistic modal logic and set theory
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
- On conceptual model specification and verification
- Some unpublished papers of Jean van Heijenoort
- On the existence of a possibility distribution function
- The complexity of concept languages
- A ``geometric view of the dynamics of trajectories of computer programs
- The foundations of probability and quantum mechanics
- Questions of decidability and undecidability in Number Theory
- Prolog technology for default reasoning: proof theory and compilation techniques
- Gentzen-type systems, resolution and tableaux
- A logical study of the correspondence relation
- Soundness and completeness proofs by coinductive methods
- Temporal logics need their clocks
- Fresh logic: Proof-theory and semantics for FM and nominal techniques
- Infinitesimals and the continuum
- Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
- Towards a classification of defaults logics
- Local saturation of the non-stationary ideal over \(\mathcal P_{\kappa}\lambda\)
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 Q4132480)
