Characterizing finite-valuedness (Q1795205): Difference between revisions

@@ Property / cites work @@
+Gödel algebras free over finite distributive lattices
+Normal rank
@@ Property / cites work @@
+The Kuznetsov-Gerčiu and Rieger-Nishimura logics
@@ Property / cites work: The Kuznetsov-Gerčiu and Rieger-Nishimura logics / rank @@
+Normal rank
@@ Property / cites work @@
+Extendible formulas in two variables in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093852
@@ Property / cites work: Q3093852 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras and their subalgebras
@@ Property / cites work: Algebras and their subalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap's Four-Valued Logic and De Morgan Lattices
@@ Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The simplest protoalgebraic logic
@@ Property / cites work: The simplest protoalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of varieties, logics of semilattices and conjunction
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and complexity of fibred logics without shared connectives
+Normal rank
@@ Property / cites work @@
+Locally tabular \(\neq \) locally finite
@@ Property / cites work: Locally tabular \(\neq \) locally finite / rank @@
+Normal rank
@@ Property / cites work @@
+What is a non-truth-functional logic?
@@ Property / cites work: What is a non-truth-functional logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Deducibility and many-valuedness
@@ Property / cites work: Deducibility and many-valuedness / rank @@
+Normal rank
@@ Property / cites work @@
+varieties: A solution to the Ackermann constant problem
+Normal rank
@@ Property / cites work @@
+Q5596220
@@ Property / cites work: Q5596220 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix approach in methodology of sentential calculi
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank