Sequent-type rejection systems for finite-valued non-deterministic logics. (English) Zbl 07757224
MSC:
03-XX
Found 42 Documents (Results 1–42)
Gödel on many-valued logic. (English) Zbl 1542.03005
Reviewer: Albert Hoogewijs (Gent)
A non-classical view of the nature of truth values. (Russian. Russian original) Zbl 07664472
MSC:
03-XX
Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism. (English) Zbl 07484054
MSC:
03-XX
Why classical logic is privileged: justification of logics based on translatability. (English) Zbl 1528.03066
De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics. (English) Zbl 1535.03154
A three-valued Fregean quantification logic. (English) Zbl 1457.03050
MSC:
03B50
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic. (English) Zbl 1406.03045
Czelakowski, Janusz (ed.), Don Pigozzi on abstract algebraic logic, universal algebra, and computer science. Cham: Springer (ISBN 978-3-319-74771-2/hbk; 978-3-319-74772-9/ebook). Outstanding Contributions to Logic 16, 323-379 (2018).
Reviewer: Thomas Ferguson (Round Rock)
Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models. (English) Zbl 1444.68187
Propositional logics complexity and the sub-formula property. (English) Zbl 1486.03015
Dal Lago, Ugo (ed.) et al., Proceedings of the tenth international workshop on developments of computational models, DCM 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 1-16 (2015).
Three-valued paraconsistent propositional logics. (English) Zbl 1423.03092
Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 91-129 (2015).
Paraconsistency and Sette’s calculus P1. (English) Zbl 1372.03050
MSC:
03B53
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. (English) Zbl 1331.03024
A dissimilarity-based framework for generating inconsistency-tolerant logics. (English) Zbl 1319.68207
Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz’s 3-valued logic Ł3. (English) Zbl 1338.03048
On the meaning of connectives (apropos of a non-necessitarianist challenge). (English) Zbl 1272.03018
MSC:
03A05
Possible worlds in use. (English) Zbl 1248.03034
Ideal paraconsistent logics. (English) Zbl 1248.03046
Maximal and premaximal paraconsistency in the framework of three-valued semantics. (English) Zbl 1256.03030
Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory. (English) Zbl 1197.03024
New foundations for imperative logic. I: Logical connectives, consistency, and quantifiers. (English) Zbl 1366.03196
A generic framework for adaptive vague logics. (English) Zbl 1167.03022
Reviewer: Michał Baczyński (Katowice)
Vagueness and roughness. (English) Zbl 1203.68199
Peters, James F. (ed.) et al., Transactions on Rough Sets IX. Berlin: Springer (ISBN 978-3-540-89875-7/pbk). Lecture Notes in Computer Science 5390. Journal Subline, 1-13 (2008).
Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. (English) Zbl 1189.03026
Stud. Log. 88, No. 3, 405-429 (2008); erratum ibid. 89, No. 1, 147 (2008).
Reviewer: Albert Hoogewijs (Gent)
Non truth-functional many-valuedness. (English) Zbl 1261.03094
de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 116-130 (2002).
Geometrical methods in Wajsberg hoops. (English) Zbl 1025.06014
Reviewer: Ivan Chajda (Přerov)
Periodicity of negation. (English) Zbl 1031.03077
Adding structure to MV-algebras. (English) Zbl 0992.06012
Reviewer: Daniele Mundici (Milano)
Conservative translations. (English) Zbl 0983.03007
Reviewer: Peter T.Johnstone (Cambridge)
Filter Results by …
Document Type
- Journal Articles (37)
- Collection Articles (5)
all
top 5
Author
- Arieli, Ofer (5)
- Avron, Arnon (4)
- Zamansky, Anna (3)
- de Araujo Feitosa, Hércules (2)
- D’Ottaviano, Itala M. Loffredo (2)
- Marcos, João (2)
- Panti, Giovanni (2)
- Rossi, Lorenzo Paolo (2)
- Schurz, Gerhard (2)
- Wansing, Heinrich Theodor (2)
- Agliano, Paolo (1)
- Antunes, Henrique (1)
- Bělohlávek, Radim (1)
- Bezerra, Edson Vinícius (1)
- Béziau, Jean-Yves (1)
- Blasio, Carolina (1)
- Bonikowski, Zbigniew (1)
- Bueno, Otávio (1)
- Caleiro, Carlos (1)
- Carnielli, Walter Alexandre (1)
- Ciuciura, Janusz (1)
- Coniglio, Marcelo Esteban (1)
- Czelakowski, Janusz (1)
- Devyatkin, Leonid Yur’evich (1)
- Égré, Paul (1)
- Estrada-González, Luis (1)
- Fiadeiro, José Luiz (1)
- Font, Josep Maria (1)
- Gius, Martin (1)
- Gratzl, Norbert (1)
- Haeusler, Edward Hermann (1)
- Indrzejczak, Andrzej (1)
- Karpenko, Aleksandr Stepanovich (1)
- Lethen, Tim (1)
- Lin, Yuanlei (1)
- Lopes, Antónia (1)
- Ma, Minghui (1)
- Maruyama, Yoshihiro (1)
- Méndez, José M. (1)
- Montagna, Franco (1)
- Murthi, Manohar N. (1)
- Núñez, Rafael C. (1)
- Pavlović, Duško (1)
- Pavlović, Edi (1)
- Premaratne, Kamal (1)
- Robles, Gemma (1)
- Rodrigues, Abilio (1)
- Salto, Francisco (1)
- Scheutz, Matthias (1)
- Sellers, Kimberly Flagg (1)
- Shramko, Yaroslav V. (1)
- Singpurwalla, Nozer D. (1)
- Spinks, Matthew (1)
- Tompits, Hans (1)
- Ţuţu, Ionuţ (1)
- Tzouvaras, Athanassios (1)
- van der Waart van Gulik, Stephan (1)
- Venturi, Giorgio (1)
- Verdée, Peter (1)
- Veroff, Robert (1)
- Volpe, Marco (1)
- Vranas, Peter B. M. (1)
- Wybraniec-Skardowska, Urszula B. (1)
all
top 5
Serial
- Stud. Log. (8)
- J. Philos. Log. (7)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (3)
- J. Appl. Non-Class. Log. (2)
- Log. Log. Philos. (2)
- Fuzzy Sets Syst. (1)
- Int. Stat. Rev. (1)
- J. Algebra (1)
- J. Pure Appl. Algebra (1)
- Notre Dame J. Formal Logic (1)
- Synthese (1)
- Theor. Comput. Sci. (1)
- Ann. Pure Appl. Logic (1)
- Int. J. Approx. Reasoning (1)
- Ann. Math. Artif. Intell. (1)
- Log. Univers. (1)
- Rev. Symb. Log. (1)
- Nôus (1)
- J. Log. Algebr. Methods Program. (1)
- Log. Issled. (1)
Biographic Reference
- Gödel, Kurt (1)
