The following pages link to Sérgio Marcelino (Q1682297):
Displayed 30 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)
- An unexpected Boolean connective (Q6360298) (← links)
- On axioms and rexpansions (Q6360301) (← links)
- Logics of involutive Stone algebras (Q6360308) (← links)
- On Logics of Perfect Paradefinite Algebras (Q6370628) (← links)
- Proof Search on Bilateralist Judgments over Non-deterministic Semantics (Q6373052) (← links)
- Modular many-valued semantics for combined logics (Q6390144) (← links)
- Some more theorems on structural entailment relations and non-deterministic semantics (Q6453815) (← links)