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