The following pages link to (Q3208629):
Displaying 37 items.
- Preordered sets valued in a GL-monoid (Q427913) (← links)
- A non-commutative and non-idempotent theory of quantale sets (Q533140) (← links)
- The eskolemization of universal quantifiers (Q638487) (← links)
- A natural interpretation of fuzzy sets and fuzzy relations (Q698758) (← links)
- Notions of computation and monads (Q757075) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- A logic covering undefinedness in program proofs (Q790610) (← links)
- Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years (Q812585) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches (Q865043) (← links)
- A logic for Miranda (Q909443) (← links)
- Semantical analysis of specification logic (Q913527) (← links)
- Fuzzy sets and geometric logic (Q969577) (← links)
- Descriptions in mathematical logic (Q1071018) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- A note on undefined expression values in programming logics (Q1093365) (← links)
- Partiality, cartesian closedness, and toposes (Q1121368) (← links)
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- The logical quantization of algebraic groups (Q1897598) (← links)
- Tableaux for free logics with descriptions (Q2142064) (← links)
- Quantale-valued dissimilarity (Q2219183) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Foundations of fuzzy sets (Q2277254) (← links)
- Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Nested sequents for intuitionistic logics (Q2443118) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- Implementing Local Intervals in CASL (Q2870328) (← links)
- Unitary Theories, Unitary Categories (Q3178243) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences (Q5213709) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation (Q5241405) (← links)
- Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate (Q5241408) (← links)
- Basic predicate calculus (Q5937805) (← links)
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes (Q5958463) (← links)
- An algebraic semantics for possibilistic finite-valued Łukasiewicz logic (Q6116520) (← links)
