The following pages link to (Q5812189):
Displaying 50 items.
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\) (Q497423) (← links)
- A map of dependencies among three-valued logics (Q497633) (← links)
- Referentiality and matrix semantics (Q633163) (← links)
- Characterization of prime numbers in Łukasiewicz's logical matrix (Q751647) (← links)
- Self-dual binary and ternary connectives for \(m\)-valued propositional calculi (Q775685) (← links)
- Factor semantics for n-valued logics (Q800349) (← links)
- Monoidal closed categories, weak topoi and generalized logics (Q810504) (← links)
- An intrinsic fuzzy set on the universe of discourse of predicate formulas (Q869114) (← links)
- Extending Montague's system: A three valued intensional logic (Q918539) (← links)
- Formal axiomatic theories based on a three-valued logic (Q937906) (← links)
- Beyond three inferential values (Q1037599) (← links)
- L.P.L. A fuzzy programming language. I: Syntactic aspects (Q1136234) (← links)
- L.P.L. - A fuzzy programming language. II: Semantic aspects (Q1141483) (← links)
- Quantification for Peirce's preferred system of triadic logic (Q1167713) (← links)
- A method of axiomatization of Lukasiewicz logics (Q1214402) (← links)
- On the problem of imprecision (Q1234290) (← links)
- Normal forms for fuzzy logic functions and their approximation ability (Q1349207) (← links)
- Anshakov-Rychkov algebras (Q1422100) (← links)
- Remarks on a theorem of McGee (Q1896786) (← links)
- Three-valued derived logics for classical phase spaces (Q1910876) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- \(\alpha \)-irresoluteness and \(\alpha \)-compactness based on continuous valued logic (Q1942948) (← links)
- Pavelka-style fuzzy logic in retrospect and prospect (Q2014419) (← links)
- Locally \(\alpha\)-compact spaces based on continuous valued logic (Q2017094) (← links)
- An extension of the stable semantics via Lukasiewicz logic (Q2133458) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- Institutions for SQL database schemas and datasets (Q2185885) (← links)
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package (Q2229887) (← links)
- Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem (Q2267005) (← links)
- \(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logic (Q2277443) (← links)
- Fuzzifying topologies on the space of linear operators (Q2351598) (← links)
- A three-valued Fregean quantification logic (Q2421522) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- Towards a theory of conservative computing (Q2505971) (← links)
- Simplicity vis-a-vis functional completeness (Q2538648) (← links)
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics (Q2563461) (← links)
- About probability-like measures for entire theories (Q2625302) (← links)
- A new approach for fuzzy topology. I (Q2639367) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Fragments of Many-Valued Statement Calculi (Q3256302) (← links)
- Solution to a Problem of Rose and Rosser (Q3291522) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- Classic-Like Analytic Tableaux for Finite-Valued Logics (Q3638289) (← links)
- A Strong Completeness Theorem for the Gentzen systems associated with finite algebras (Q4443419) (← links)
- On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz (Q4586219) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- Łukasiewicz and His Followers in Many-Valued Logic (Q4611677) (← links)
- Many-Valued Logics in the Iberian Peninsula (Q4611696) (← links)
- SOFT TOPOLOGY AND SOFT PROXIMITY AS FUZZY PREDICATES BY FORMULAE OF LUKASIEWICZ LOGIC (Q4626574) (← links)
- Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices (Q4647557) (← links)
