The following pages link to Sérgio Marcelino (Q1682297):
Displaying 31 items.
- Locally tabular \(\neq \) locally finite (Q1682298) (← links)
- Disjoint fibring of non-deterministic matrices (Q1685929) (← links)
- Merging fragments of classical logic (Q1687564) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
- Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Modal logics of reactive frames (Q2269510) (← links)
- Analytic calculi for monadic PNmatrices (Q2303582) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- On the characterization of fibred logics, with applications to conservativity and finite-valuedness (Q3133188) (← links)
- Plug and Play Negations (Q3305346) (← links)
- An algebraic generalization of Kripke structures (Q3542104) (← links)
- Decidability and complexity of fibred logics without shared connectives (Q4644566) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
- (Q5419892) (← links)
- Computational properties of finite PNmatrices (Q5872874) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- Finite axiomatizability of logics of distributive lattices with negation (Q6111084) (← links)
- Modular many-valued semantics for combined logics (Q6390144) (← links)
- Finite Hilbert systems for Weak Kleene logics (Q6516385) (← links)
- Generating proof systems for three-valued propositional logics (Q6516388) (← links)
- Axiomatizing the Logic of Ordinary Discourse (Q6533504) (← links)
- Finite Hilbert systems for weak Kleene logics (Q6642819) (← links)
- Monadicity of non-deterministic logical matrices is undecidable (Q6659898) (← links)
- On logics of perfect paradefinite algebras (Q6661152) (← links)
- Equivalence of finite non-deterministic logical matrices is undecidable (Q6758762) (← links)
