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