scientific article
From MaRDI portal
Publication:3208629
zbMath0418.03016MaRDI QIDQ3208629
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
description operatorintuitionistic logicexistence predicateaxiomatizations of mathematical theorieslogic of partially defined elements
Related Items
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus, Nominal logic, a first order theory of names and binding, A note on undefined expression values in programming logics, Tableaux for free logics with descriptions, Unitary Theories, Unitary Categories, The logical quantization of algebraic groups, Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches, Partiality, cartesian closedness, and toposes, An algebraic semantics for possibilistic finite-valued Łukasiewicz logic, Category theory in Isabelle/HOL as a basis for meta-logical investigation, Preordered sets valued in a GL-monoid, A logic for Miranda, The eskolemization of universal quantifiers, Semantical analysis of specification logic, Nested sequents for intuitionistic logics, Unnamed Item, Quantale-valued dissimilarity, Free logics are cut-free, A non-commutative and non-idempotent theory of quantale sets, A natural interpretation of fuzzy sets and fuzzy relations, Fuzzy sets and geometric logic, Basic predicate calculus, Foundations of fuzzy sets, The Skolemization of existential quantifiers in intuitionistic logic, A Hoare logic for dynamic networks of asynchronously communicating deterministic processes, Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences, The Operational Penumbra: Some Ontological Aspects, Automating free logic in HOL, with an experimental application in category theory, Notions of computation and monads, A categorical outlook on relational modalities and simulations, A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation, Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate, Classifying categories for partial equational logic, A logic covering undefinedness in program proofs, Free Definite Description Theory – Sequent Calculi and Cut Elimination, Implementing Local Intervals in CASL, Descriptions in mathematical logic, Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
