Search results
From MaRDI portal
- protocol of specific bits and its improvement 2024-04-15 Paper Multiple-valued semantics for metric temporal logic 2023-08-17 Paper A trilinear estimate...10 bytes (13 words) - 00:10, 25 September 2023
- Paper Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency 2007-11-15 Paper Non-deterministic semantics for logics...10 bytes (15 words) - 16:20, 6 October 2023
- Proof-Theoretic Semantics for a Natural Language Fragment 2010-08-31 Paper Proof-theoretic semantics for subsentential phrases 2010-05-07 Paper Game semantics for...10 bytes (13 words) - 18:06, 24 September 2023
- Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions 2022-07-22 Paper A Similarity-Based Three-Valued Modal Logic Approach...10 bytes (13 words) - 14:59, 7 December 2023
- distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules 2002-09-30 Paper Fuzzy semantics for multiple-conclusion sequential...10 bytes (15 words) - 20:16, 24 September 2023
- blending 2017-08-31 Paper Functorial semantics of first-order views 2016-11-24 Paper Quasi-varieties and initial semantics for hybridized institutions 2016-10-07...10 bytes (13 words) - 11:37, 28 January 2024
- Logic 2013-01-15 Paper Effective Finite-Valued Semantics for Labelled Calculi 2012-09-05 Paper Kripke Semantics for Basic Sequent Systems 2011-07-01 Paper...10 bytes (13 words) - 17:54, 24 September 2023
- argumentation semantics: claim-defeat, principles, and expressiveness 2023-11-16 Paper Expressiveness of SETAFs and support-free ADFs under 3-valued semantics 2023-10-30...10 bytes (14 words) - 11:24, 7 October 2023
- argumentation semantics: claim-defeat, principles, and expressiveness 2023-11-16 Paper Expressiveness of SETAFs and support-free ADFs under 3-valued semantics 2023-10-30...10 bytes (13 words) - 11:24, 7 October 2023
- Paper Non sequential semantics for contextual P/T nets 2019-05-02 Paper Efficient stochastic simulation of biological systems with multiple variable volumes...10 bytes (13 words) - 01:52, 13 December 2023
- partial meet multiple contractions: an impossibility result 2016-03-08 Paper Relevance in belief revision 2015-12-22 Paper Maps in Multiple Belief Change...10 bytes (13 words) - 22:18, 24 September 2023
- algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics 2017-07-19 Paper Algebras of Definable and Rough Sets in...10 bytes (13 words) - 09:51, 6 October 2023
- Additions of interactive fuzzy numbers 2021-03-23 Paper Thick Sets, Multiple-Valued Mappings, and Possibility Theory 2020-10-16 Paper Possibilistic preference...10 bytes (15 words) - 14:52, 6 December 2023
- connections 2016-03-17 Paper MV-algebras, BL-algebras, \(R_0\)-algebras, and multiple-valued logic. 2016-03-15 Paper A survey of the triple I method 2016-03-15 Paper...10 bytes (13 words) - 16:19, 6 December 2023
- Paper Quantitative semantics, topology, and possibility measures 1999-12-13 Paper On the approximation of denotational mu-semantics 1999-10-05 Paper https://portal...10 bytes (15 words) - 20:02, 24 September 2023
- interval-valued fuzzy sets 2007-07-26 Paper Arithmetic operators in interval-valued fuzzy set theory 2007-07-25 Paper REPRESENTABILITY IN INTERVAL-VALUED FUZZY...10 bytes (13 words) - 17:00, 11 December 2023
- record concatenation and multiple inheritance 1991-01-01 Paper Correctness of static flow analysis in continuation semantics 1991-01-01 Paper A short proof...10 bytes (13 words) - 17:43, 6 October 2023
- Borderline vs. unknown: comparing three-valued representations of imperfect information 2014-10-23 Paper A label semantics approach to linguistic hedges 2014-04-29...10 bytes (13 words) - 17:12, 9 December 2023
- de/entity/Q2993554 2016-08-10 Paper Algebraic Semantics for Dynamic Dynamic Logic 2015-12-17 Paper Alternative Semantics for Visser’s Propositional Logics 2015-12-03...10 bytes (13 words) - 16:34, 6 October 2023
- formulas 2001-07-05 Paper Commodious axiomatization of quantifiers in multiple-valued logic 2001-06-13 Paper https://portal.mardi4nfdi.de/entity/Q4524769...10 bytes (15 words) - 02:35, 25 September 2023
