The following pages link to (Q3206928):
Displaying 50 items.
- Impossible worlds and the logic of imagination (Q1707216) (← links)
- Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
- Interpolation in 16-valued trilattice logics (Q1744000) (← links)
- Stone-type representations and dualities for varieties of bisemilattices (Q1744009) (← links)
- Bitopology and four-valued logic (Q1744388) (← links)
- Implicit, explicit and speculative knowledge (Q1748464) (← links)
- Aggregation on Boolean multi-polar space: knowledge-based vs. category-based ordering (Q1749601) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Double-faced rough sets and rough communication (Q1810437) (← links)
- Parametrized semantics of logic programs -- a unifying framework (Q1884892) (← links)
- On transitivity of strict preference relations (Q1914428) (← links)
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information (Q1999580) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- A hierarchy of weak double negations (Q2016059) (← links)
- Bi-facial truth: a case for generalized truth values (Q2016060) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815) (← links)
- Propositional and predicate logics of incomplete information (Q2060732) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
- Subminimal negation on the Australian plan (Q2079709) (← links)
- Valuation semantics for first-order logics of evidence and truth (Q2079711) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- Modal bilattice logic and its extensions (Q2145869) (← links)
- An algebraic theory for data linkage (Q2185883) (← links)
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- Classifying material implications over minimal logic (Q2204373) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- Free choice reasons (Q2219154) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package (Q2229887) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Defining rough sets as core-support pairs of three-valued functions (Q2237201) (← links)
- Probabilities with gaps and gluts (Q2240549) (← links)
- Distance-based paraconsistent logics (Q2270429) (← links)
- On extensions of triangular norms on bounded lattices (Q2270525) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Distributive bilattices from the perspective of natural duality theory. (Q2343033) (← links)
- The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Active logic semantics for a single agent in a static world (Q2389647) (← links)
- Analysing inconsistent first-order knowledgebases (Q2389648) (← links)
- Adding a conditional to Kripke's theory of truth (Q2397814) (← links)
- Is `no' a force-indicator? Yes, sooner or later! (Q2399605) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
