The following pages link to Walter Alexandre Carnielli (Q1068072):
Displaying 50 items.
- (Q244411) (redirect page) (← links)
- Non-deterministic semantics in polynomial format (Q281146) (← links)
- The single-minded pursuit of consistency and its weakness (Q631514) (← links)
- (Q701298) (redirect page) (← links)
- Limits for paraconsistent calculi (Q701299) (← links)
- The method of polynomial ring calculus and its potentialities (Q897932) (← links)
- Paraconsistent algebras (Q1068074) (← links)
- Families of finite sets in which no set is covered by the union of \(r\) others (Q1072559) (← links)
- On covering and coloring problems for rook domains (Q1073803) (← links)
- (Q1277208) (redirect page) (← links)
- On the Ramsey problem for multicolor bipartite graphs (Q1277209) (← links)
- \(K_{2,2}\)-\(K_{1,n}\) and \(K_{2,n}\)-\(K_{2,n}\) bipartite Ramsey numbers (Q1587597) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- The dialogical approach to paraconsistency (Q1840981) (← links)
- Transfers between logics and their applications (Q1868251) (← links)
- Fibring non-truth-functional logics: Completeness preservation (Q1868482) (← links)
- Maximal weakly-intuitionistic logics (Q1896760) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- Special issue on multimodal logics: a preface (Q1945701) (← links)
- An epistemic approach to paraconsistency: a logic of evidence and truth (Q2053983) (← links)
- Valuation semantics for first-order logics of evidence and truth (Q2079711) (← links)
- Paraconsistent logic: consistency, contradiction and negation (Q2373949) (← links)
- Analysis and synthesis of logics. How to cut and paste reasoning systems (Q2469685) (← links)
- (Q2735810) (← links)
- (Q2753262) (← links)
- (Q2794472) (← links)
- Paraconsistent set theory by predicating on consistency (Q2804321) (← links)
- Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning (Q2909841) (← links)
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY (Q2940892) (← links)
- (Q3003827) (← links)
- POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES (Q3006006) (← links)
- (Q3007252) (← links)
- Hyper-rook Domain Inequalities (Q3033776) (← links)
- (Q3081831) (← links)
- (Q3112290) (← links)
- (Q3119363) (← links)
- Polynomial ring calculus for modalities (Q3133185) (← links)
- Formal inconsistency and evolutionary databases (Q3149220) (← links)
- Semi-stable semantics (Q3165758) (← links)
- Interpolation via translations (Q3184216) (← links)
- Reconciling First-Order Logic to Algebra (Q3305345) (← links)
- Inferential Semantics, Paraconsistency, and Preservation of Evidence (Q3305663) (← links)
- (Q3351353) (← links)
- Recovery operators, paraconsistency and duality (Q3386888) (← links)
- Fraïssé’s theorem for logics of formal inconsistency (Q3386912) (← links)
- Surviving Abduction (Q3411850) (← links)
- (Q3435238) (← links)
- (Q3520845) (← links)
- Paraconsistent Machines and their Relation to Quantum Computing (Q3553921) (← links)
- Unconventional Models of Computation Through Non-standard Logic Circuits (Q3603401) (← links)
