The following pages link to Studia Logica (Q195358):
Displaying 50 items.
- A categorical equivalence motivated by Kalman's construction (Q284216) (← links)
- On the minimal non-Fregean Grzegorczyk logic (Q284218) (← links)
- A semantic approach to conservativity (Q284219) (← links)
- Automorphisms of the lattice of classical modal logics (Q284221) (← links)
- A theory of infinitary relations extending Zermelo's theory of infinitary propositions (Q284223) (← links)
- Congruence lattices of semilattices with operators (Q284226) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. (Q284232) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- Order in implication zroupoids (Q295916) (← links)
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Matching topological and frame products of modal logics (Q295921) (← links)
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Natural dualities through product representations: bilattices and beyond (Q295925) (← links)
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Nice embedding in classical logic (Q300555) (← links)
- Analytic rules for mereology (Q300557) (← links)
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Correia semantics revisited (Q300562) (← links)
- Book review of: G. Frege, Basic laws of arithmetic. Derived using concept-script. Volume 1 and 2. Edited by Philip A. Ebert and Marcus Rossberg. (Q300564) (← links)
- Book review of: S. Pollard, A mathematical prelude to the philosophy of mathematics (Q300566) (← links)
- Special issue on logical aspects of multi-agent systems (Q310075) (← links)
- The undecidability of quantified announcements (Q310079) (← links)
- Checking EMTLK properties of timed interpreted systems via bounded model checking (Q310082) (← links)
- A computationally grounded, weighted doxastic logic (Q310087) (← links)
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- A logical theory of localization (Q310092) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Hard and soft preparation sets in Boolean games (Q310097) (← links)
- Semisimples in varieties of commutative integral bounded residuated lattices (Q332072) (← links)
- Adaptive logic characterizations of input/output logic (Q332074) (← links)
- Gentzenization of trilattice logics (Q332076) (← links)
- A preliminary study of MV-algebras with two quantifiers which commute (Q332078) (← links)
- Intuitionistic games: determinacy, completeness, and normalization (Q332080) (← links)
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Special issue: Abstract algebraic logic. Selected papers based on the presentations at the 3rd world congress on universal logic (Unilog 2010), Estoril, Portugal, April 22--25, 2010 (Q360526) (← links)
- The variety generated by all the ordinal sums of perfect MV-chains (Q361853) (← links)
- Systems of quantum logic (Q361857) (← links)
- Importing logics: soundness and completeness preservation (Q361861) (← links)
- Finite basis problem for semigroups of order five or less: generalization and revisitation. (Q361862) (← links)
- Constraint satisfaction, irredundant axiomatisability and continuous colouring (Q361864) (← links)
- Curry's paradox and \(\omega \)-inconsistency (Q361866) (← links)
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization (Q361868) (← links)
- A note on bisimulation and modal equivalence in provability logic and interpretability logic (Q361870) (← links)
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
