scientific article; zbMATH DE number 3650529
From MaRDI portal
Publication:3208629
zbMATH Open0418.03016MaRDI QIDQ3208629FDOQ3208629
Authors: Dana Scott 
Publication date: 1979
Title of this publication is not available (Why is that?)
intuitionistic logicexistence predicatedescription operatoraxiomatizations of mathematical theorieslogic of partially defined elements
Cited In (43)
- Relational calculus as a formal system
- Quantale-valued dissimilarity
- A note on undefined expression values in programming logics
- Fuzzy logic and the Linz seminar: themes and some personal reminiscences
- Free logics are cut-free
- The Skolemization of existential quantifiers in intuitionistic logic
- A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation
- Nested sequents for intuitionistic logics
- A natural interpretation of fuzzy sets and fuzzy relations
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- Notions of computation and monads
- Semantical analysis of specification logic
- Preordered sets valued in a GL-monoid
- Basic predicate calculus
- The logical quantization of algebraic groups
- Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years
- A non-commutative and non-idempotent theory of quantale sets
- The operational penumbra: some ontological aspects
- Full cut elimination and interpolation for intuitionistic logic with existence predicate
- A categorical outlook on relational modalities and simulations
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches
- Fuzzy sets and geometric logic
- Tableaux for free logics with descriptions
- Nominal logic, a first order theory of names and binding
- Unitary theories, unitary categories
- A logic covering undefinedness in program proofs
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
- Anselm's ontological argument and grades of being
- An algebraic semantics for possibilistic finite-valued Łukasiewicz logic
- Foundations of fuzzy sets
- The eskolemization of universal quantifiers
- A logic for Miranda
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- Free Definite Description Theory – Sequent Calculi and Cut Elimination
- Partiality, cartesian closedness, and toposes
- Classifying categories for partial equational logic
- Automating free logic in HOL, with an experimental application in category theory
- Title not available (Why is that?)
- A cut-free, sound and complete Russellian theory of definite descriptions
- Implementing local intervals in CASL
- Descriptions in mathematical logic
- Category theory in Isabelle/HOL as a basis for meta-logical investigation
- Towards systematic treatment of partial functions in knowledge representation
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 Q3208629)
