scientific article; zbMATH DE number 3559512

zbMATH Open0359.02001MaRDI QIDQ4132480FDOQ4132480

Authors:

Publication date: 1977

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited In (82)

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

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)