Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

\(L\)-modules: Label: en
Stabilizers on \(L\)-algebras: Label: en
On paracomplete versions of Jaśkowski's discussive logic: Label: en
Linear abelian modal logic: Label: en
A Category of Ordered Algebras Equivalent to the Category of Multialgebras: Label: en
On Implicative and Positive Implicative GE Algebras: Label: en
Cut Elimination for Extended Sequent Calculi: Label: en
Fundamental Relation on HvBE-Algebras: Label: en
Harmony and Normalisation in Bilateral Logic: Label: en
Bilateral Rules as Complex Rules: Label: en
Supposition: A Problem for Bilateralism: Label: en
Fractional-Valued Modal Logic and Soft Bilateralism: Label: en
Introduction: Bilateralism and Proof-Theoretic Semantics (Part II): Label: en
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic: Label: en
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\): Label: en
Core Type Theory: Label: en
Structural Rules in Natural Deduction with Alternatives: Label: en
Introduction: Bilateralism and Proof-Theoretic Semantics (Part I): Label: en
The Weak Variable Sharing Property: Label: en
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions: Label: en
Equivalential Algebras with Conjunction on Dense Elements: Label: en
Basic Four-Valued Systems of Cyclic Negations: Label: en
A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\): Label: en
\(n\)-Fold Filters of EQ-Algebras: Label: en
Complete Representations and Neat Embeddings: Label: en
An (α,β)-Hesitant Fuzzy Set Approach to Ideal Theory in Semigroups: Label: en
Constructing a Hoop Using Rough Filters: Label: en
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality: Label: en
Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract: Label: en
First-Order Modal Semantics and Existence Predicate: Label: en
Interpolation Property on Visser's Formal Propositional Logic: Label: en
Tableaux for some deontic logics with the explicit permission operator: Label: en
A Paradox for the Existence Predicate: Label: en
A Classification of Improper Inference Rules: Label: en
A Variant of Material Connexive Logic: Label: en
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU: Label: en
Weakly Free Multialgebras: Label: en
A Sequent Systems without Improper Derivations: Label: en
Sequent Calculi for Orthologic with Strict Implication: Label: en
Note on the Intuitionistic Logic of False Belief: Label: en
Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B: Label: en
An Epistemological Study of Theory Change: Label: en
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts: Label: en
The Modelwise Interpolation Property of Semantic Logics: Label: en
The Theory of an Arbitrary Higher \(\lambda\)-Model: Label: en
On Homomorphism and Cartesian Products of Intuitionistic Fuzzy PMS-subalgebra of a PMS-algebra: Label: en
Roughness of Filters in Equality Algebras: Label: en
A Benchmark Similarity Measures for Fermatean Fuzzy Sets: Label: en
Proof Compression and NP Versus PSPACE II: Addendum: Label: en
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts: Label: en