scientific article; zbMATH DE number 3650529
From MaRDI portal
Publication:3208629
Cited in
(54)- Descriptions in mathematical logic
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- A note on undefined expression values in programming logics
- Partiality, cartesian closedness, and toposes
- Nominal logic, a first order theory of names and binding
- The logical quantization of algebraic groups
- Tableaux for free logics with descriptions
- Quantale-valued dissimilarity
- Free logics are cut-free
- Foundations of fuzzy sets
- Automating free logic in HOL, with an experimental application in category theory
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- Nested sequents for intuitionistic logics
- The Skolemization of existential quantifiers in intuitionistic logic
- Classifying categories for partial equational logic
- Implementing local intervals in CASL
- Unitary theories, unitary categories
- Preordered sets valued in a GL-monoid
- GoedelGod
- Free Definite Description Theory – Sequent Calculi and Cut Elimination
- Fuzzy logic and the Linz seminar: themes and some personal reminiscences
- The operational penumbra: some ontological aspects
- 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
- A non-commutative and non-idempotent theory of quantale sets
- Basic predicate calculus
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
- An algebraic semantics for possibilistic finite-valued Łukasiewicz logic
- Category theory in Isabelle/HOL as a basis for meta-logical investigation
- scientific article; zbMATH DE number 7731929 (Why is no real title available?)
- The eskolemization of universal quantifiers
- A cut-free, sound and complete Russellian theory of definite descriptions
- Towards systematic treatment of partial functions in knowledge representation
- Relational calculus as a formal system
- Anselm's ontological argument and grades of being
- When Iota meets lambda
- Cut elimination for negative free logics with definite descriptions
- A constructive interpretation of the logical constants
- Wright's first-order logic of strict finitism
- Two cases of deduction with non-referring descriptions
- Concurrent games over relational structures: the origin of game comonads
- A natural interpretation of fuzzy sets and fuzzy relations
- Taking bi-intuitionistic logic first-order: a proof-theoretic investigation via polytree sequents
- A prudent logic of partial functions
- Normalisation for positive free logics without and with definite descriptions
- Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL
- Notions of computation and monads
- A categorical outlook on relational modalities and simulations
- A logic covering undefinedness in program proofs
- Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches
- A logic for Miranda
- Semantical analysis of specification logic
- Fuzzy sets and geometric logic
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)
