Petrukhin, Yaroslav; Shangin, Vasilyi Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. (English) Zbl 1446.03055 Log. Log. Philos. 28, No. 2, 223-257 (2019). MSC: 03B50 03B35 03F03 68V15 PDF BibTeX XML Cite \textit{Y. Petrukhin} and \textit{V. Shangin}, Log. Log. Philos. 28, No. 2, 223--257 (2019; Zbl 1446.03055) Full Text: DOI
Wang, Wen-fang Three-valued semantic pluralism: a defense of a three-valued solution to the sorites paradox. (English) Zbl 1452.03021 Synthese 195, No. 10, 4441-4476 (2018). MSC: 03A05 03B50 PDF BibTeX XML Cite \textit{W.-f. Wang}, Synthese 195, No. 10, 4441--4476 (2018; Zbl 1452.03021) Full Text: DOI
Petrukhin, Yaroslav; Shangin, Vasilyi Natural three-valued logics characterized by natural deduction. (English) Zbl 1430.03046 Log. Anal., Nouv. Sér. 61, No. 244, 407-427 (2018). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 03F03 03B53 PDF BibTeX XML Cite \textit{Y. Petrukhin} and \textit{V. Shangin}, Log. Anal., Nouv. Sér. 61, No. 244, 407--427 (2018; Zbl 1430.03046) Full Text: DOI
Petrukhin, Yaroslav Generalized correspondence analysis for three-valued logics. (English) Zbl 1435.03047 Log. Univers. 12, No. 3-4, 423-460 (2018). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B22 03F03 03B53 PDF BibTeX XML Cite \textit{Y. Petrukhin}, Log. Univers. 12, No. 3--4, 423--460 (2018; Zbl 1435.03047) Full Text: DOI
Petrukhin, Yaroslav I. Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. (English) Zbl 1385.03032 Log. Univers. 11, No. 4, 525-532 (2017). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 03B22 03F03 PDF BibTeX XML Cite \textit{Y. I. Petrukhin}, Log. Univers. 11, No. 4, 525--532 (2017; Zbl 1385.03032) Full Text: DOI
Liu, Fangfang; You, Jia-Huai Three-valued semantics for hybrid MKNF knowledge bases revisited. (English) Zbl 1420.68204 Artif. Intell. 252, 123-138 (2017). MSC: 68T30 03B50 68T27 68T35 PDF BibTeX XML Cite \textit{F. Liu} and \textit{J.-H. You}, Artif. Intell. 252, 123--138 (2017; Zbl 1420.68204) Full Text: DOI
Gauker, Christopher Presuppositions as anaphoric duality enablers. (English) Zbl 1396.03077 Topoi 35, No. 1, 133-144 (2016). MSC: 03B65 03B50 PDF BibTeX XML Cite \textit{C. Gauker}, Topoi 35, No. 1, 133--144 (2016; Zbl 1396.03077) Full Text: DOI
Yang, Eunsuk Two kinds of (binary) Kripke-style semantics for three-valued logic. (English) Zbl 1372.03047 Log. Anal., Nouv. Sér. 58, No. 231, 377-394 (2015). MSC: 03B50 PDF BibTeX XML Cite \textit{E. Yang}, Log. Anal., Nouv. Sér. 58, No. 231, 377--394 (2015; Zbl 1372.03047) Full Text: DOI
Arieli, Ofer Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks. (English) Zbl 1394.68363 J. Appl. Log. 13, No. 4, Part 2, 582-604 (2015). MSC: 68T27 03B50 PDF BibTeX XML Cite \textit{O. Arieli}, J. Appl. Log. 13, No. 4, Part 2, 582--604 (2015; Zbl 1394.68363) Full Text: DOI
Wang, Wen-Fang Three-valued plurivaluationism of vague predicates. (English) Zbl 06521593 van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48560-6/pbk; 978-3-662-48561-3/ebook). Lecture Notes in Computer Science 9394, 379-391 (2015). MSC: 68T27 PDF BibTeX XML Cite \textit{W.-F. Wang}, Lect. Notes Comput. Sci. 9394, 379--391 (2015; Zbl 06521593) Full Text: DOI
Dietz, Emmanuelle-Anna; Hölldobler, Steffen; Wernhard, Christoph Modeling the suppression task under weak completion and well-founded semantics. (English) Zbl 1398.03152 J. Appl. Non-Class. Log. 24, No. 1-2, 61-85 (2014). MSC: 03B70 03B60 03B50 68T27 68N17 PDF BibTeX XML Cite \textit{E.-A. Dietz} et al., J. Appl. Non-Class. Log. 24, No. 1--2, 61--85 (2014; Zbl 1398.03152) Full Text: DOI
Avron, Arnon Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. (English) Zbl 1398.03135 J. Appl. Non-Class. Log. 24, No. 1-2, 12-34 (2014). MSC: 03B53 03B50 03F05 PDF BibTeX XML Cite \textit{A. Avron}, J. Appl. Non-Class. Log. 24, No. 1--2, 12--34 (2014; Zbl 1398.03135) Full Text: DOI
Pereira, Luís Moniz; Dietz, Emmanuelle-Anna; Hölldobler, Steffen Contextual abductive reasoning with side-effects. (English) Zbl 1309.68176 Theory Pract. Log. Program. 14, No. 4-5, 633-648 (2014). MSC: 68T27 68N17 PDF BibTeX XML Cite \textit{L. M. Pereira} et al., Theory Pract. Log. Program. 14, No. 4--5, 633--648 (2014; Zbl 1309.68176) Full Text: DOI
You, Jia-Huai; Morris, John; Bi, Yi Reconciling well-founded semantics of DL-programs and aggregate programs. (English) Zbl 1281.68151 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 235-246, electronic only (2012). MSC: 68Q55 68T27 PDF BibTeX XML Cite \textit{J.-H. You} et al., LIPIcs -- Leibniz Int. Proc. Inform. 17, 235--246 (2012; Zbl 1281.68151) Full Text: DOI
Tang, Yongchuan; Lawry, Jonathan A bipolar model of vague concepts based on random set and prototype theory. (English) Zbl 1246.68222 Int. J. Approx. Reasoning 53, No. 6, 867-879 (2012). MSC: 68T30 03E72 PDF BibTeX XML Cite \textit{Y. Tang} and \textit{J. Lawry}, Int. J. Approx. Reasoning 53, No. 6, 867--879 (2012; Zbl 1246.68222) Full Text: DOI
Yang, Eunsuk (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics. (English) Zbl 1259.03033 Log. J. IGPL 20, No. 1, 187-206 (2012). MSC: 03B45 03B50 PDF BibTeX XML Cite \textit{E. Yang}, Log. J. IGPL 20, No. 1, 187--206 (2012; Zbl 1259.03033) Full Text: DOI
Arieli, Ofer; Avron, Arnon; Zamansky, Anna Maximal and premaximal paraconsistency in the framework of three-valued semantics. (English) Zbl 1256.03030 Stud. Log. 97, No. 1, 31-60 (2011). MSC: 03B53 03A05 03B50 PDF BibTeX XML Cite \textit{O. Arieli} et al., Stud. Log. 97, No. 1, 31--60 (2011; Zbl 1256.03030) Full Text: DOI
Schulz, Moritz A note on two theorems by Adams and McGee. (English) Zbl 1180.03009 Rev. Symb. Log. 2, No. 3, 509-516 (2009). MSC: 03A05 03B48 PDF BibTeX XML Cite \textit{M. Schulz}, Rev. Symb. Log. 2, No. 3, 509--516 (2009; Zbl 1180.03009) Full Text: DOI
Hölldobler, Steffen; Kencana Ramli, Carroline Dewi Puspa Logic programs under three-valued Łukasiewicz semantics. (English) Zbl 1251.68063 Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 464-478 (2009). MSC: 68N17 03B50 68T27 PDF BibTeX XML Cite \textit{S. Hölldobler} and \textit{C. D. P. Kencana Ramli}, Lect. Notes Comput. Sci. 5649, 464--478 (2009; Zbl 1251.68063) Full Text: DOI
Koutras, Costas D.; Nomikos, Christos; Peppas, Pavlos On a simple 3-valued modal language and a 3-valued logic of ‘not-fully-justified’ belief. (English) Zbl 1169.03017 Log. J. IGPL 16, No. 6, 591-604 (2008). Reviewer: Max A. Freund (San José) MSC: 03B42 03B45 03B50 68Q17 PDF BibTeX XML Cite \textit{C. D. Koutras} et al., Log. J. IGPL 16, No. 6, 591--604 (2008; Zbl 1169.03017) Full Text: DOI
Bergmann, Merrie An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems. (English) Zbl 1148.03001 Cambridge: Cambridge University Press (ISBN 978-0-521-70757-2/pbk; 978-0-521-88128-9/hbk). xii, 392 p. EUR 20.99, $ 36.99/pbk; EUR 48.00, $ 90.00/hbk; $ 30.00/eBook (2008). Reviewer: Dana Piciu (Craiova) MSC: 03-01 03B50 03B52 03B05 03G25 PDF BibTeX XML Cite \textit{M. Bergmann}, An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems. Cambridge: Cambridge University Press (2008; Zbl 1148.03001)
Furfaro, Filippo; Greco, Sergio; Molinaro, Cristian A three-valued semantics for querying and repairing inconsistent databases. (English) Zbl 1138.68031 Ann. Math. Artif. Intell. 51, No. 2-4, 167-193 (2007). MSC: 68P15 PDF BibTeX XML Cite \textit{F. Furfaro} et al., Ann. Math. Artif. Intell. 51, No. 2--4, 167--193 (2007; Zbl 1138.68031) Full Text: DOI
Orłowska, Ewa; Rewitzky, Ingrid Duality via truth: semantic frameworks for lattice-based logics. (English) Zbl 1080.03008 Log. J. IGPL 13, No. 4, 467-490 (2005). MSC: 03B50 03G10 06B15 06D50 PDF BibTeX XML Cite \textit{E. Orłowska} and \textit{I. Rewitzky}, Log. J. IGPL 13, No. 4, 467--490 (2005; Zbl 1080.03008) Full Text: DOI
Maudlin, Tim Truth and paradox. Solving the riddles. (English) Zbl 1083.03002 Oxford: Oxford University Press (ISBN 0-19-924729-3/hbk). xii, 209 p. (2004). Reviewer: Jim Mackenzie (Sydney) MSC: 03-02 03A05 03B50 PDF BibTeX XML Cite \textit{T. Maudlin}, Truth and paradox. Solving the riddles. Oxford: Oxford University Press (2004; Zbl 1083.03002)
Milne, Peter Algebras of intervals and a logic of conditional assertions. (English) Zbl 1055.03008 J. Philos. Log. 33, No. 5, 497-548 (2004). MSC: 03A05 03B50 03G05 PDF BibTeX XML Cite \textit{P. Milne}, J. Philos. Log. 33, No. 5, 497--548 (2004; Zbl 1055.03008) Full Text: DOI
García Olmedo, Francisco M.; Rodríguez Salas, Antonio J. Algebraization of the three-valued BCK-logic. (English) Zbl 1007.03017 Math. Log. Q. 48, No. 2, 163-178 (2002). Reviewer: Jie Meng (Xian) MSC: 03B50 06F35 03B47 PDF BibTeX XML Cite \textit{F. M. García Olmedo} and \textit{A. J. Rodríguez Salas}, Math. Log. Q. 48, No. 2, 163--178 (2002; Zbl 1007.03017) Full Text: DOI
Čulina, Boris The concept of truth. (English) Zbl 0982.03002 Synthese 126, No. 1-2, 339-360 (2001). Reviewer: Pavel Materna (Praha) MSC: 03A05 PDF BibTeX XML Cite \textit{B. Čulina}, Synthese 126, No. 1--2, 339--360 (2001; Zbl 0982.03002) Full Text: DOI
Wobcke, Wayne An information-based theory of conditionals. (English) Zbl 1025.03014 Notre Dame J. Formal Logic 41, No. 2, 95-141 (2000). Reviewer: Albert A.Mullin (Madison) MSC: 03B42 68T30 68T27 PDF BibTeX XML Cite \textit{W. Wobcke}, Notre Dame J. Formal Logic 41, No. 2, 95--141 (2000; Zbl 1025.03014) Full Text: DOI
Markin, V. I. An embedding of N. A. Vasil’ev’s imaginary logic into quantified three-valued logic. (Russian. English summary) Zbl 0988.03044 Karpenko, A. S. (ed.), Logical investigations. No. 7. Papers from the 2nd international conference “Smirnov’s Readings”, Moscow, Russia, May 1999. Moskva: Nauka. 252-260 (2000). Reviewer: A.Karpenko (Moskva) MSC: 03B53 03B50 PDF BibTeX XML Cite \textit{V. I. Markin}, in: Logicheskie issledovaniya. Vyp. 7. Moskva: Nauka. 252--260 (2000; Zbl 0988.03044)
Bergstra, Jan A.; Ponse, Alban Kleene’s three-valued logic and process algebra. (English) Zbl 1338.68200 Inf. Process. Lett. 67, No. 2, 95-103 (1998). MSC: 68Q85 03B50 68Q55 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{A. Ponse}, Inf. Process. Lett. 67, No. 2, 95--103 (1998; Zbl 1338.68200) Full Text: DOI Link
Sakalauskaitė, Jūratė Prefixed tableaus for three-valued modal propositional logics. (English) Zbl 0964.03019 Proc. Est. Acad. Sci., Phys. Math. 47, No. 3, 174-185 (1998). MSC: 03B45 03B50 PDF BibTeX XML Cite \textit{J. Sakalauskaitė}, Proc. Est. Acad. Sci., Phys. Math. 47, No. 3, 174--185 (1998; Zbl 0964.03019)
Bonatti, Piero A. A three-valued formalization of provability. (English) Zbl 0820.03035 J. Log. Comput. 5, No. 2, 173-201 (1995). Reviewer: A.Nabebin (Moskva) MSC: 03F03 03B60 68N17 03B70 PDF BibTeX XML Cite \textit{P. A. Bonatti}, J. Log. Comput. 5, No. 2, 173--201 (1995; Zbl 0820.03035) Full Text: DOI
Jonker, Catholijn Cautious backtracking in truth maintenance systems. (English) Zbl 0823.03014 Rijke, Maarten de (ed.), Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 229, 147-173 (1993). Reviewer: C.Witteveen (Delft) MSC: 03B60 03B80 68T30 PDF BibTeX XML Cite \textit{C. Jonker}, Synth. Libr. 229, 147--173 (1993; Zbl 0823.03014)
Giuntini, Roberto Three-valued Brouwer-Zadeh logic. (English) Zbl 0849.03047 Int. J. Theor. Phys. 32, No. 10, 1875-1887 (1993). MSC: 03G12 81P10 PDF BibTeX XML Cite \textit{R. Giuntini}, Int. J. Theor. Phys. 32, No. 10, 1875--1887 (1993; Zbl 0849.03047) Full Text: DOI
Konikowska, Beata Two over three: A two-valued logic for software specification and validation over a three-valued predicate calculus. (English) Zbl 0802.03028 J. Appl. Non-Class. Log. 3, No. 1, 39-71 (1993). Reviewer: C.Masalagiu (Iaşi) MSC: 03B80 68Q60 03B70 PDF BibTeX XML Cite \textit{B. Konikowska}, J. Appl. Non-Class. Log. 3, No. 1, 39--71 (1993; Zbl 0802.03028) Full Text: DOI
Jiang, Y. J. On the autoepistemic reconstruction of logic programming. (English) Zbl 0776.68028 New Generation Comput. 11, No. 2, 107-124 (1993). Reviewer: Y.J.Jiang MSC: 68N17 68Q55 PDF BibTeX XML Cite \textit{Y. J. Jiang}, New Generation Comput. 11, No. 2, 107--124 (1993; Zbl 0776.68028) Full Text: DOI
Olivetti, Nocola; Terracini, Lea \(N\)-Prolog and equivalence of logic programs. I. (English) Zbl 0805.68021 J. Logic Lang. Inf. 1, No. 4, 253-340 (1992). Reviewer: D.Mundici (Milano) MSC: 68N17 03B70 68Q55 03B50 03B45 PDF BibTeX XML Cite \textit{N. Olivetti} and \textit{L. Terracini}, J. Logic Lang. Inf. 1, No. 4, 253--340 (1992; Zbl 0805.68021) Full Text: DOI
Doherty, Patrick NM3 – a three-valued cumulative non-monotonic formalism. (English) Zbl 0789.03024 Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 196-211 (1991). MSC: 03B60 68T27 03B50 PDF BibTeX XML Cite \textit{P. Doherty}, Lect. Notes Comput. Sci. 478, 196--211 (1991; Zbl 0789.03024)
Delahaye, J. P.; Thibau, V. The optimal model of a program with negation. (English) Zbl 0789.68089 Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 180-195 (1991). MSC: 68Q55 68N17 PDF BibTeX XML Cite \textit{J. P. Delahaye} and \textit{V. Thibau}, Lect. Notes Comput. Sci. 478, 180--195 (1991; Zbl 0789.68089)
Witteveen, Cees Skeptical reason maintenance is tractable. (English) Zbl 0765.68200 Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 570-581 (1991). MSC: 68T35 68Q25 PDF BibTeX XML Cite \textit{C. Witteveen}, in: Principles of knowledge representation and reasoning. Proceedings of the 2nd international conference (KR' 91), Cambridge, MA, USA, April 22-25, 1991. San Mateo, CA: Morgan Kaufmann Publishers, Inc.. 570--581 (1991; Zbl 0765.68200)
Mohan, Chilukuri K. Fitting semantics for conditional term rewriting. (English) Zbl 0751.68017 Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 857-862 (1991). Reviewer: N.Curteanu (Iaşi) MSC: 68N17 68T99 68Q55 PDF BibTeX XML Cite \textit{C. K. Mohan}, in: IJCAI 91, Proceedings of the 12th International Conference on Artificial Intelligence. Sydney, Australia, 24-30 August 1991. Vol. 1-2. San Mateo, CA: Morgan Kaufmann Publ.. 857--862 (1991; Zbl 0751.68017)
Fitting, Melvin Kleene’s logic, generalized. (English) Zbl 0744.03025 J. Log. Comput. 1, No. 6, 797-810 (1991). MSC: 03B50 03G10 68N17 PDF BibTeX XML Cite \textit{M. Fitting}, J. Log. Comput. 1, No. 6, 797--810 (1991; Zbl 0744.03025) Full Text: DOI
Przymusinski, Teodor Three-valued nonmonotonic formalisms and semantics of logic programs. (English) Zbl 0741.03014 Artif. Intell. 49, No. 1-3, 309-343 (1991). MSC: 03B60 68T27 68N17 PDF BibTeX XML Cite \textit{T. Przymusinski}, Artif. Intell. 49, No. 1--3, 309--343 (1991; Zbl 0741.03014) Full Text: DOI
Vakarelov, Dimiter Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety. (English) Zbl 0705.03008 Stud. Log. 48, No. 4, 565-575 (1989). MSC: 03B50 PDF BibTeX XML Cite \textit{D. Vakarelov}, Stud. Log. 48, No. 4, 565--575 (1989; Zbl 0705.03008) Full Text: DOI
Wallace, Mark A computable semantics for general logic programs. (English) Zbl 0681.68024 J. Logic Program. 6, No. 3, 269-297 (1989). MSC: 68Q60 68Q55 68T15 03B50 68T99 PDF BibTeX XML Cite \textit{M. Wallace}, J. Log. Program. 6, No. 3, 269--297 (1989; Zbl 0681.68024) Full Text: DOI
Rozonoèr, L. I. On interpretation of inconsistent theories. (English) Zbl 0677.03019 Inf. Sci. 47, No. 3, 243-266 (1989). Reviewer: L.I.Rozonoehr MSC: 03B60 03B20 PDF BibTeX XML Cite \textit{L. I. Rozonoèr}, Inf. Sci. 47, No. 3, 243--266 (1989; Zbl 0677.03019) Full Text: DOI
D’Ottaviano, Itala M. L.; Epstein, Richard L. A paraconsistent many-valued propositional logic: \(J_ 3\). (English) Zbl 0697.03017 Rep. Math. Logic 22, 89-103 (1988). Reviewer: I.M.L.D’Ottaviano MSC: 03B60 03B50 PDF BibTeX XML Cite \textit{I. M. L. D'Ottaviano} and \textit{R. L. Epstein}, Rep. Math. Logic 22, 89--103 (1988; Zbl 0697.03017)
Brink, Chris Weak entailment and 3-valued logic. (English) Zbl 0692.03013 J. Non-classical Logic 4, No. 2, 5-22 (1987). MSC: 03B50 03B45 PDF BibTeX XML
Hodes, Harold Individual-actualism and three-valued modal logics. II. Natural-deduction formalizations. (English) Zbl 0646.03016 J. Philos. Logic 16, 17-63 (1987). MSC: 03B45 PDF BibTeX XML Cite \textit{H. Hodes}, J. Philos. Log. 16, 17--63 (1987; Zbl 0646.03016) Full Text: DOI
Schmitt, P. H. Computational aspects of three-valued logic. (English) Zbl 0644.03015 Automated deduction, Proc. 8th Int. Conf., Oxford/Engl. 1986, Lect. Notes Comput. Sci. 230, 190-198 (1986). MSC: 03B50 03B65 03B35 68T15 PDF BibTeX XML
Inagaki, Yasuyoshi (ed.) Algorithms: mathematical foundations and applications. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, February 3-5, 1986. (Japanese) Zbl 0641.68003 RIMS Kokyuroku, 591. Kyoto: Kyoto University, Research Institute for Mathematical Sciences. IV, 287 p. (1986). MSC: 68-06 00B25 PDF BibTeX XML
Hodes, Harold Individual-actualism and three-valued modal logics. I: Model-theoretic semantics. (English) Zbl 0624.03012 J. Philos. Logic 15, 369-401 (1986). Reviewer: L.F.Goble MSC: 03B45 PDF BibTeX XML Cite \textit{H. Hodes}, J. Philos. Log. 15, 369--401 (1986; Zbl 0624.03012) Full Text: DOI
D’Ottaviano, Itala M. L. The completeness and compactness of a three-valued first-order logic. (English) Zbl 0614.03020 Rev. Colomb. Mat. 19, 77-94 (1985). MSC: 03B50 03B45 03B60 PDF BibTeX XML Cite \textit{I. M. L. D'Ottaviano}, Rev. Colomb. Mat. 19, 77--94 (1985; Zbl 0614.03020) Full Text: EuDML
Fitting, Melvin A Kripke-Kleene semantics for logic programs. (English) Zbl 0589.68011 J. Logic Program. 2, 295-312 (1985). Reviewer: G.Mints MSC: 68Q60 68N01 68T99 PDF BibTeX XML Cite \textit{M. Fitting}, J. Log. Program. 2, 295--312 (1985; Zbl 0589.68011) Full Text: DOI
Seuren, Pieter A. M. Logic and truth-values in language. (English) Zbl 0581.03019 Varieties of formal semantics, Proc. 4th Colloq., Amsterdam 1982, Groningen-Amst. Stud. Semantics 3, 343-363 (1984). Reviewer: J.F.A.K.van Benthem MSC: 03B65 03B50 68Q55 PDF BibTeX XML
Martin, John N. Epistemic semantics for classical and intuitionistic logic. (English) Zbl 0562.03005 Notre Dame J. Formal Logic 25, 105-116 (1984). Reviewer: Z.Stachniak MSC: 03A05 PDF BibTeX XML Cite \textit{J. N. Martin}, Notre Dame J. Formal Logic 25, 105--116 (1984; Zbl 0562.03005) Full Text: DOI
Martin, John N. The semantics of Frege’s Grundgesetze. (English) Zbl 0552.03003 Hist. Philos. Logic 5, 143-176 (1984). Reviewer: L.Löfgren MSC: 03A05 03B50 PDF BibTeX XML Cite \textit{J. N. Martin}, Hist. Philos. Log. 5, 143--176 (1984; Zbl 0552.03003) Full Text: DOI
Kabzinski, Jacek K. Investigations into the equivalence connective. (English) Zbl 0471.03018 Rozpr. Habilitacyjne, Uniw. Jagiellon. 48, 113 p. (1980). MSC: 03B55 03B50 03G25 03B60 PDF BibTeX XML
Cosgrove, Robert J. jun. A three-valued free logic for presuppositional languages. (English) Zbl 0416.03026 Notre Dame J. Formal Logic 21, 549-571 (1980). MSC: 03B50 03A05 PDF BibTeX XML Cite \textit{R. J. Cosgrove jun.}, Notre Dame J. Formal Logic 21, 549--571 (1980; Zbl 0416.03026) Full Text: DOI