The following pages link to João Marcos (Q276031):
Displaying 40 items.
- Negative modalities, consistency and determinedness (Q276032) (← links)
- Limits for paraconsistent calculi (Q701299) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions (Q1652877) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Merging fragments of classical logic (Q1687564) (← links)
- On negation: Pure local rules (Q1775871) (← links)
- Algebraic semantics for Nelson's logic \(\mathcal{S}\) (Q1799291) (← links)
- Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q2104551) (← links)
- Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication (Q2915028) (← links)
- Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics (Q2915037) (← links)
- (Q3086718) (← links)
- (Q3112291) (← links)
- Formal inconsistency and evolutionary databases (Q3149220) (← links)
- Clausal Resolution for Modal Logics of Confluence (Q3192202) (← links)
- (Q3367515) (← links)
- (Q3435235) (← links)
- (Q3520845) (← links)
- (Q3606211) (← links)
- Classic-Like Analytic Tableaux for Finite-Valued Logics (Q3638289) (← links)
- Possible-translations semantics for some weak classically-based paraconsistent logics (Q3647284) (← links)
- (Q4440555) (← links)
- (Q4472210) (← links)
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment (Q4576064) (← links)
- (Q4583680) (← links)
- (Q4636049) (← links)
- (Q4918415) (← links)
- Logics of Formal Inconsistency (Q4928710) (← links)
- Nelson’s logic 𝒮 (Q5022331) (← links)
- (Q5212292) (← links)
- (Q5311062) (← links)
- (Q5869599) (← links)
- What is a logical theory? On theories containing assertions and denials (Q6067100) (← links)
- Algebraic Semantics for Nelson's Logic S (Q6299716) (← links)
- Proof Search on Bilateralist Judgments over Non-deterministic Semantics (Q6373052) (← links)
- Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q6399483) (← links)
- On logics of perfect paradefinite algebras (Q6661152) (← links)
