Marcelino, Sérgio An unexpected Boolean connective. (English) Zbl 07580912 Log. Univers. 16, No. 1-2, 85-103 (2022). MSC: 03B50 03B35 PDF BibTeX XML Cite \textit{S. Marcelino}, Log. Univers. 16, No. 1--2, 85--103 (2022; Zbl 07580912) Full Text: DOI arXiv OpenURL
Humberstone, Lloyd Priest on negation. (English) Zbl 1469.03077 Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer. Outst. Contrib. Log. 18, 285-341 (2019). MSC: 03B53 03A05 PDF BibTeX XML Cite \textit{L. Humberstone}, Outst. Contrib. Log. 18, 285--341 (2019; Zbl 1469.03077) Full Text: DOI OpenURL
Chemla, Emmanuel; Égré, Paul Suszko’s problem: mixed consequence and compositionality. (English) Zbl 07171844 Rev. Symb. Log. 12, No. 4, 736-767 (2019). MSC: 03B47 03B50 03G27 PDF BibTeX XML Cite \textit{E. Chemla} and \textit{P. Égré}, Rev. Symb. Log. 12, No. 4, 736--767 (2019; Zbl 07171844) Full Text: DOI arXiv OpenURL
Golińska-Pilarek, Joanna; Huuskonen, Taneli A mystery of Grzegorczyk’s logic of descriptions. (English) Zbl 07003811 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 731-745 (2018). MSC: 03-03 03B60 PDF BibTeX XML Cite \textit{J. Golińska-Pilarek} and \textit{T. Huuskonen}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 731--745 (2018; Zbl 07003811) Full Text: DOI OpenURL
Su, Yong; Liu, Hua-Wen; Pedrycz, Witold A method to construct fuzzy implications – rotation construction. (English) Zbl 1423.03090 Int. J. Approx. Reasoning 92, 20-31 (2018). MSC: 03B52 PDF BibTeX XML Cite \textit{Y. Su} et al., Int. J. Approx. Reasoning 92, 20--31 (2018; Zbl 1423.03090) Full Text: DOI OpenURL
Bertini, C.; Leporini, R. A fuzzy approach to quantum logical computation. (English) Zbl 1392.81088 Fuzzy Sets Syst. 317, 44-60 (2017). MSC: 81P68 81P10 68Q10 03G12 PDF BibTeX XML Cite \textit{C. Bertini} and \textit{R. Leporini}, Fuzzy Sets Syst. 317, 44--60 (2017; Zbl 1392.81088) Full Text: DOI OpenURL
Schroeder-Heister, Peter Harmony in proof-theoretic semantics: a reductive analysis. (English) Zbl 1429.03194 Wansing, Heinrich (ed.), Dag Prawitz on proofs and meaning. Cham: Springer. Outst. Contrib. Log. 7, 329-358 (2015). MSC: 03F03 03F07 PDF BibTeX XML Cite \textit{P. Schroeder-Heister}, Outst. Contrib. Log. 7, 329--358 (2015; Zbl 1429.03194) Full Text: DOI OpenURL
Mas, M.; Massanet, S.; Ruiz-Aguilera, D.; Torrens, J. A survey on the existing classes of uninorms. (English) Zbl 1361.03022 J. Intell. Fuzzy Syst. 29, No. 3, 1021-1037 (2015). MSC: 03B52 PDF BibTeX XML Cite \textit{M. Mas} et al., J. Intell. Fuzzy Syst. 29, No. 3, 1021--1037 (2015; Zbl 1361.03022) Full Text: DOI OpenURL
Preller, Anne From logical to distributional models. (English) Zbl 1464.03034 Coecke, Bob (ed.) et al., Proceedings of the 10th international workshop on quantum physics and logic, QPL’13, Castelldefels (Barcelona), Spain, July 17–19, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 171, 113-131 (2014). MSC: 03B65 03G12 18D15 PDF BibTeX XML Cite \textit{A. Preller}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 171, 113--131 (2014; Zbl 1464.03034) Full Text: arXiv Link OpenURL
Coupland, Simon; John, Robert Geometric type-2 fuzzy sets. (English) Zbl 1366.03225 Sadeghian, Alireza (ed.) et al., Advances in type-2 fuzzy sets and systems. Theory and applications. New York, NY: Springer (ISBN 978-1-4614-6665-9/hbk; 978-1-4614-6666-6/ebook). Studies in Fuzziness and Soft Computing 301, 81-96 (2013). Reviewer: Józef Drewniak (Rzeszów) MSC: 03E72 52B55 68T37 68U05 PDF BibTeX XML Cite \textit{S. Coupland} and \textit{R. John}, Stud. Fuzziness Soft Comput. 301, 81--96 (2013; Zbl 1366.03225) Full Text: DOI OpenURL
Wu, Wei-Zhi; Leung, Yee; Shao, Ming-Wen Generalized fuzzy rough approximation operators determined by fuzzy implicators. (English) Zbl 1316.68198 Int. J. Approx. Reasoning 54, No. 9, 1388-1409 (2013). MSC: 68T37 03B52 PDF BibTeX XML Cite \textit{W.-Z. Wu} et al., Int. J. Approx. Reasoning 54, No. 9, 1388--1409 (2013; Zbl 1316.68198) Full Text: DOI OpenURL
Carmo, José; Gouveia, Paula; Dionísio, Francisco Miguel Elements of discrete mathematics. (Elementos de matemática discreta.) (Portuguese) Zbl 1301.68001 Cadernos de Lógica e Computação 5. London: College Publications (ISBN 978-1-84890-134-6/pbk). xv, 579 p. (2013). Reviewer: C. M. da Fonseca (Safat) MSC: 68-01 68Rxx 68W40 PDF BibTeX XML Cite \textit{J. Carmo} et al., Elementos de matemática discreta (Portuguese). London: College Publications (2013; Zbl 1301.68001) OpenURL
Della Stella, Maria Emilia; Guido, Cosimo Associativity, commutativity and symmetry in residuated structures. (English) Zbl 1282.03026 Order 30, No. 2, 363-401 (2013). Reviewer: A. Borumand Saeid (Kerman) MSC: 03G25 03B50 06F05 06F99 PDF BibTeX XML Cite \textit{M. E. Della Stella} and \textit{C. Guido}, Order 30, No. 2, 363--401 (2013; Zbl 1282.03026) Full Text: DOI OpenURL
Allo, Patrick Noisy vs. merely equivocal logics. (English) Zbl 1261.03013 Tanaka, Koji (ed.) et al., Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008. Berlin: Springer (ISBN 978-94-007-4437-0/hbk). Logic, Epistemology, and the Unity of Science 26, 57-79 (2013). MSC: 03A05 03B47 03B65 PDF BibTeX XML Cite \textit{P. Allo}, Log. Epistemol. Unity Sci. 26, 57--79 (2013; Zbl 1261.03013) Full Text: DOI OpenURL
Zadrożny, Sławomir; Kacprzyk, Janusz Bipolar queries: an aggregation operator focused perspective. (English) Zbl 1251.68094 Fuzzy Sets Syst. 196, 69-81 (2012). MSC: 68P15 PDF BibTeX XML Cite \textit{S. Zadrożny} and \textit{J. Kacprzyk}, Fuzzy Sets Syst. 196, 69--81 (2012; Zbl 1251.68094) Full Text: DOI OpenURL
Eckert, Daniel; Monjardet, Bernard Guilbaud’s 1952 theorem on the logical problem of aggregation. (English) Zbl 1208.91008 Math. Sci. Hum., Math. Soc. Sci. 189, 19-35 (2010). MSC: 91-03 91B14 01A60 PDF BibTeX XML Cite \textit{D. Eckert} and \textit{B. Monjardet}, Math. Sci. Hum., Math. Soc. Sci. 189, 19--35 (2010; Zbl 1208.91008) Full Text: DOI OpenURL
Jefferson, Christopher; Moore, Neil C. A.; Nightingale, Peter; Petrie, Karen E. Implementing logical connectives in constraint programming. (English) Zbl 1210.68103 Artif. Intell. 174, No. 16-17, 1407-1429 (2010). MSC: 68T20 PDF BibTeX XML Cite \textit{C. Jefferson} et al., Artif. Intell. 174, No. 16--17, 1407--1429 (2010; Zbl 1210.68103) Full Text: DOI OpenURL
Lewitzka, Steffen; Brunner, Andreas B. M. Minimally generated abstract logics. (English) Zbl 1255.03022 Log. Univers. 3, No. 2, 219-241 (2009). MSC: 03B22 03B20 03G10 PDF BibTeX XML Cite \textit{S. Lewitzka} and \textit{A. B. M. Brunner}, Log. Univers. 3, No. 2, 219--241 (2009; Zbl 1255.03022) Full Text: DOI OpenURL
Zhou, Lei; Wu, Wei-Zhi; Zhang, Wen-Xiu On characterization of intuitionistic fuzzy rough sets based on intuitionistic fuzzy implicators. (English) Zbl 1162.03317 Inf. Sci. 179, No. 7, 883-898 (2009). MSC: 03E72 PDF BibTeX XML Cite \textit{L. Zhou} et al., Inf. Sci. 179, No. 7, 883--898 (2009; Zbl 1162.03317) Full Text: DOI OpenURL
Coupland, Simon; John, Robert New geometric inference techniques for type-2 fuzzy sets. (English) Zbl 1189.03029 Int. J. Approx. Reasoning 49, No. 1, 198-211 (2008). MSC: 03B52 03E72 52B55 68T37 68U05 PDF BibTeX XML Cite \textit{S. Coupland} and \textit{R. John}, Int. J. Approx. Reasoning 49, No. 1, 198--211 (2008; Zbl 1189.03029) Full Text: DOI OpenURL
Deschrijver, Glad; Cornelis, Chris Representability in interval-valued fuzzy set theory. (English) Zbl 1144.03033 Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 15, No. 3, 345-361 (2007). Reviewer: Tomasz Kubiak (Poznań) MSC: 03E72 PDF BibTeX XML Cite \textit{G. Deschrijver} and \textit{C. Cornelis}, Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 15, No. 3, 345--361 (2007; Zbl 1144.03033) Full Text: DOI OpenURL
Deschrijver, Glad; Arieli, Ofer; Cornelis, Chris; Kerre, Etienne E. A bilattice-based framework for handling graded truth and imprecision. (English) Zbl 1121.03073 Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 15, No. 1, 13-41 (2007). Reviewer: Witold Pedrycz (Edmonton) MSC: 03E72 68T37 PDF BibTeX XML Cite \textit{G. Deschrijver} et al., Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 15, No. 1, 13--41 (2007; Zbl 1121.03073) Full Text: DOI OpenURL
Radzikowska, Anna Maria Fuzzy modal-like approximation operators based on double residuated lattices. (English) Zbl 1185.68716 J. Appl. Non-Class. Log. 16, No. 3-4, 485-506 (2006). MSC: 68T37 06F05 PDF BibTeX XML Cite \textit{A. M. Radzikowska}, J. Appl. Non-Class. Log. 16, No. 3--4, 485--506 (2006; Zbl 1185.68716) Full Text: DOI OpenURL
Radzikowska, Anna Maria; Kerre, Etienne E. Fuzzy information relations and operators: An algebraic approach based on residuated lattices. (English) Zbl 1177.68211 de Swart, Harrie (ed.) et al., Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002–2005. Selected revised papers. Berlin: Springer (ISBN 978-3-540-69223-2/pbk). Lecture Notes in Computer Science 4342. Lecture Notes in Artificial Intelligence, 162-184 (2006). MSC: 68T30 03E72 06F05 PDF BibTeX XML Cite \textit{A. M. Radzikowska} and \textit{E. E. Kerre}, Lect. Notes Comput. Sci. 4342, 162--184 (2006; Zbl 1177.68211) Full Text: DOI OpenURL
Cornelis, C.; Deschrijver, G.; Kerre, E. E. Advances and challenges in interval-valued fuzzy logic. (English) Zbl 1098.03034 Fuzzy Sets Syst. 157, No. 5, 622-627 (2006). MSC: 03B52 03G25 PDF BibTeX XML Cite \textit{C. Cornelis} et al., Fuzzy Sets Syst. 157, No. 5, 622--627 (2006; Zbl 1098.03034) Full Text: DOI OpenURL
Wu, Wei-Zhi; Leung, Yee; Mi, Ju-Sheng On characterizations of \((\mathcal J,\mathcal T)\)-fuzzy rough approximation operators. (English) Zbl 1074.03027 Fuzzy Sets Syst. 154, No. 1, 76-102 (2005). MSC: 03E72 68T37 PDF BibTeX XML Cite \textit{W.-Z. Wu} et al., Fuzzy Sets Syst. 154, No. 1, 76--102 (2005; Zbl 1074.03027) Full Text: DOI OpenURL
Chernov, A. V. Complexity of sets obtained as values of propositional formulas. (English. Russian original) Zbl 1114.03004 Math. Notes 75, No. 1, 131-139 (2004); translation from Mat. Zametki 75, No. 1, 142-150 (2004). MSC: 03B05 68Q30 PDF BibTeX XML Cite \textit{A. V. Chernov}, Math. Notes 75, No. 1, 131--139 (2004; Zbl 1114.03004); translation from Mat. Zametki 75, No. 1, 142--150 (2004) Full Text: DOI OpenURL
Adamatzky, Andrew On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species. (English) Zbl 1073.37543 Chaos Solitons Fractals 18, No. 5, 917-936 (2003). MSC: 37N99 92E99 80A32 92B20 68Q80 PDF BibTeX XML Cite \textit{A. Adamatzky}, Chaos Solitons Fractals 18, No. 5, 917--936 (2003; Zbl 1073.37543) Full Text: DOI OpenURL
Švejdar, Vítězslav On the polynomial-space completeness of intuitionistic propositional logic. (English) Zbl 1025.03030 Arch. Math. Logic 42, No. 7, 711-716 (2003). MSC: 03D15 68Q17 03B20 PDF BibTeX XML Cite \textit{V. Švejdar}, Arch. Math. Logic 42, No. 7, 711--716 (2003; Zbl 1025.03030) Full Text: DOI OpenURL
Gehrke, Mai; Walker, Carol L.; Walker, Elbert A. Normal forms and truth tables for fuzzy logics. (English) Zbl 1027.03023 Fuzzy Sets Syst. 138, No. 1, 25-51 (2003). Reviewer: Radko Mesiar (Bratislava) MSC: 03B52 PDF BibTeX XML Cite \textit{M. Gehrke} et al., Fuzzy Sets Syst. 138, No. 1, 25--51 (2003; Zbl 1027.03023) Full Text: DOI OpenURL
Bach, Kent Language, logic, and form. (English) Zbl 1062.03010 Jacquette, Dale (ed.), A companion to philosophical logic. Malden, MA: Blackwell Publishers (ISBN 0-631-21671-5/hbk). Blackwell Companions Philos. 22, 51-72 (2002). Reviewer: Pavel Materna (Praha) MSC: 03A05 03B65 PDF BibTeX XML Cite \textit{K. Bach}, in: A companion to philosophical logic. Malden, MA: Blackwell Publishers. 51--72 (2002; Zbl 1062.03010) OpenURL
Lance, Mark The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility. (English) Zbl 0996.03021 J. Philos. Log. 30, No. 5, 439-464 (2001). Reviewer: Pavel Materna (Praha) MSC: 03B65 03B47 03A05 PDF BibTeX XML Cite \textit{M. Lance}, J. Philos. Log. 30, No. 5, 439--464 (2001; Zbl 0996.03021) Full Text: DOI OpenURL
Lauria, F. E.; Prevete, R. An algebraic approach to the autonomously self-adaptable Boolean neural nets. (English) Zbl 0992.68164 Napoli: Liguori Editore. 298 p. (2001). Reviewer: Nikolay Yakovlevich Tikhonenko (Odessa) MSC: 68T05 68-02 PDF BibTeX XML Cite \textit{F. E. Lauria} and \textit{R. Prevete}, An algebraic approach to the autonomously self-adaptable Boolean neural nets. Napoli: Liguori Editore (2001; Zbl 0992.68164) OpenURL
Elsalamony, G. Solving functional equations for fuzzy sets. (English) Zbl 0960.39011 J. Fuzzy Math. 8, No. 2, 371-381 (2000). Reviewer: Claudi Alsina (Barcelona) MSC: 39B52 03E72 PDF BibTeX XML Cite \textit{G. Elsalamony}, J. Fuzzy Math. 8, No. 2, 371--381 (2000; Zbl 0960.39011) OpenURL
Dresner, Eli Boolean algebras and natural language: A measurement theoretic approach. (English) Zbl 0947.03042 Nord. J. Philos. Log. 4(1999), No. 2, 175-189 (2000). MSC: 03B65 91C05 91F20 PDF BibTeX XML Cite \textit{E. Dresner}, Nord. J. Philos. Log. 4, No. 2, 175--189 (2000; Zbl 0947.03042) OpenURL
Trillas, Enric; Alsina, Claudi; Jacas, Joan On logical connectives for a fuzzy set theory with or without nonempty self-contradictions. (English) Zbl 0966.03051 Int. J. Intell. Syst. 15, No. 3, 155-164 (2000). MSC: 03E72 03B52 PDF BibTeX XML Cite \textit{E. Trillas} et al., Int. J. Intell. Syst. 15, No. 3, 155--164 (2000; Zbl 0966.03051) Full Text: DOI OpenURL
Cignoli, Roberto \(n\)-valued connectives. (English) Zbl 0984.03046 Smeureanu, Ion (ed.) et al., Information technology. Proceedings of the 4th international symposium on economic informatics held in Bucharest, Romania, May 6-9, 1999. Bucharest: Editura Inforec. 923-929 (1999). MSC: 03G20 PDF BibTeX XML Cite \textit{R. Cignoli}, in: Information technology. Proceedings of the 4th international symposium on economic informatics held in Bucharest, Romania, May 6--9, 1999. Bucharest: Editura Inforec. 923--929 (1999; Zbl 0984.03046) OpenURL
Baczyński, Michał Characterization of Dienes implication. (English) Zbl 0931.03040 Reusch, Bernd (ed.), Computational intelligence. Theory and applications. International conference, 6th Fuzzy days, Dortmund, Germany, May 25–27, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1625, 299-305 (1999). MSC: 03B52 PDF BibTeX XML Cite \textit{M. Baczyński}, Lect. Notes Comput. Sci. 1625, 299--305 (1999; Zbl 0931.03040) OpenURL
Ohlbach, Hans Jürgen Combining Hilbert style and semantic reasoning in a resolution framework. (English) Zbl 0928.03011 Kirchner, Claude (ed.) et al., Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5–10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1421, 205-219 (1998). Reviewer: N.Zamov (Kazan’) MSC: 03B35 68T27 PDF BibTeX XML Cite \textit{H. J. Ohlbach}, Lect. Notes Comput. Sci. 1421, 205--219 (1998; Zbl 0928.03011) OpenURL
Maciel, Alexis; Pitassi, Toniann Towards lower bounds for bounded-depth Frege proofs with modular connectives. (English) Zbl 0891.03027 Beame, Paul W. (ed.) et al., Proof complexity and feasible arithmetics. Papers from the DIMACS workshop, Rutgers, NJ, USA, April 21–24, 1996. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 39, 195-227 (1998). MSC: 03F20 68Q15 03B35 PDF BibTeX XML Cite \textit{A. Maciel} and \textit{T. Pitassi}, DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 39, 195--227 (1998; Zbl 0891.03027) OpenURL
Riečan, Beloslav; Neubrunn, Tibor Integral, measure, and ordering. (English) Zbl 0916.28001 Mathematics and its Applications (Dordrecht). 411. Dordrecht: Kluwer Academic Publishers. Bratislavia: Ister Science. xiii, 378 p. (1997). Reviewer: V.Panchapagesan Thiruyaiyaru (Merida) MSC: 28-01 06-01 28E10 03G12 81P10 PDF BibTeX XML Cite \textit{B. Riečan} and \textit{T. Neubrunn}, Integral, measure, and ordering. Dordrecht: Kluwer Academic Publishers; Bratislavia: Ister Science (1997; Zbl 0916.28001) OpenURL
Gehrke, Mai; Walker, Carol; Walker, Elbert Some comments on interval valued fuzzy sets. (English) Zbl 0865.04006 Int. J. Intell. Syst. 11, No. 10, 751-759 (1996). Reviewer: M.Mareš (Praha) MSC: 03E72 PDF BibTeX XML Cite \textit{M. Gehrke} et al., Int. J. Intell. Syst. 11, No. 10, 751--759 (1996; Zbl 0865.04006) Full Text: DOI OpenURL
Gehrke, Mai; Walker, Carol; Walker, Elbert DeMorgan systems on the unit interval. (English) Zbl 0865.04005 Int. J. Intell. Syst. 11, No. 10, 733-750 (1996). Reviewer: M.Mareš (Praha) MSC: 03E72 PDF BibTeX XML Cite \textit{M. Gehrke} et al., Int. J. Intell. Syst. 11, No. 10, 733--750 (1996; Zbl 0865.04005) OpenURL
Martin-Löf, Per On the meanings of the logical constants and the justifications of the logical laws. (English) Zbl 0885.03009 Nord. J. Philos. Log. 1, No. 1, 11-60 (1996). Reviewer: B.Boričić (Beograd) MSC: 03A05 PDF BibTeX XML Cite \textit{P. Martin-Löf}, Nord. J. Philos. Log. 1, No. 1, 11--60 (1996; Zbl 0885.03009) OpenURL
Smith, Michael H.; Kreinovich, Vladik Optimal strategy of switching reasoning methods in fuzzy control. (English) Zbl 0897.93036 Yager, Ronald R. (ed.) et al., Theoretical aspects of fuzzy control. Proceedings of the 2nd IEEE conference on fuzzy systems, March 1993, San Francisco, CA, USA. New York, NY: Wiley. 117-146 (1995). Reviewer: A.N.Karkishchenko (Taganrog) MSC: 93C42 93B12 PDF BibTeX XML Cite \textit{M. H. Smith} and \textit{V. Kreinovich}, in: Theoretical aspects of fuzzy control. Proceedings of th 2nd IEEE conference on fuzzy systems, March 1993, San Francisco, CA, USA. New York, NY: Wiley. 117--146 (1995; Zbl 0897.93036) OpenURL
Gabbay, Dov M. A general theory of structured consequence relations. (English) Zbl 0917.03008 Theoria, Segunda Epoca 10, No. 23, 49-78 (1995). MSC: 03B22 03B60 68T27 PDF BibTeX XML Cite \textit{D. M. Gabbay}, Theoria, Segunda Epoca 10, No. 23, 49--78 (1995; Zbl 0917.03008) OpenURL
Vardi, Moshe Y.; Wolper, Pierre Reasoning about infinite computations. (English) Zbl 0827.03009 Inf. Comput. 115, No. 1, 1-37 (1994). Reviewer: Li Xiang (Guiyang) MSC: 03B45 03D05 03D15 68Q25 68Q45 PDF BibTeX XML Cite \textit{M. Y. Vardi} and \textit{P. Wolper}, Inf. Comput. 115, No. 1, 1--37 (1994; Zbl 0827.03009) Full Text: DOI Link OpenURL
Kolesárová, A.; Riečan, B. \(T_ \infty\)-fuzzy observables. (English) Zbl 0806.46084 Int. J. Theor. Phys. 32, No. 10, 1897-1909 (1993). MSC: 46S40 46N50 81P10 PDF BibTeX XML Cite \textit{A. Kolesárová} and \textit{B. Riečan}, Int. J. Theor. Phys. 32, No. 10, 1897--1909 (1993; Zbl 0806.46084) Full Text: DOI OpenURL
Alsina, Claudi; Mayor, G.; Tomás, Maria S.; Torrens, J. A characterization of a class of aggregation functions. (English) Zbl 0788.04004 Fuzzy Sets Syst. 53, No. 1, 33-38 (1993). MSC: 03E72 39B99 PDF BibTeX XML Cite \textit{C. Alsina} et al., Fuzzy Sets Syst. 53, No. 1, 33--38 (1993; Zbl 0788.04004) Full Text: DOI OpenURL
Smith, Warren D.; Thornber, K. K. The uniqueness of the minimum and maximum functions for AND and OR in fuzzy logic. (English) Zbl 0791.03009 J. Fuzzy Math. 1, No. 3, 601-609 (1993). MSC: 03B52 03B50 PDF BibTeX XML Cite \textit{W. D. Smith} and \textit{K. K. Thornber}, J. Fuzzy Math. 1, No. 3, 601--609 (1993; Zbl 0791.03009) OpenURL
Mayor, G.; Torrens, J. On a class of operators for expert systems. (English) Zbl 0785.68087 Int. J. Intell. Syst. 8, No. 7, 771-778 (1993). Reviewer: G.Mayor MSC: 68T30 68T35 PDF BibTeX XML Cite \textit{G. Mayor} and \textit{J. Torrens}, Int. J. Intell. Syst. 8, No. 7, 771--778 (1993; Zbl 0785.68087) Full Text: DOI OpenURL
Plisko, V. E. Correlation of some notions of constructive model theory. (Russian) Zbl 0744.03036 Vestn. Mosk. Univ., Ser. I 1991, No. 4, 38-41 (1991). Reviewer: J.Šindelář (Praha) MSC: 03C57 03F50 03C52 PDF BibTeX XML Cite \textit{V. E. Plisko}, Vestn. Mosk. Univ., Ser. I 1991, No. 4, 38--41 (1991; Zbl 0744.03036) OpenURL
Avron, Arnon Simple consequence relations. (English) Zbl 0733.03007 Inf. Comput. 92, No. 1, 105-139 (1991). Reviewer: G.Mints (Stanford) MSC: 03B22 03F05 PDF BibTeX XML Cite \textit{A. Avron}, Inf. Comput. 92, No. 1, 105--139 (1991; Zbl 0733.03007) Full Text: DOI OpenURL
Dubois, Didier; Prade, Henri Fuzzy labels, imprecision and contextual dependency. Comments on Milan Zelený’s “Cognitive equilibrium: A knowledge-based theory of fuzziness and fuzzy sets”. (English) Zbl 0816.90004 Int. J. Gen. Syst. 19, No. 4, 383-386 (1991). Reviewer: F.V.Burstein (Caulfield) MSC: 91B06 68T30 90B50 91B16 03E72 PDF BibTeX XML Cite \textit{D. Dubois} and \textit{H. Prade}, Int. J. Gen. Syst. 19, No. 4, 383--386 (1991; Zbl 0816.90004) Full Text: DOI OpenURL
Plisko, V. E. On correlation of some concepts in the constructive model theory. (English. Russian original) Zbl 0790.03037 Mosc. Univ. Math. Bull. 46, No. 4, 36-38 (1991); translation from Vestn. Mosk. Univ., Ser. I 1991, No. 4, 38-41 (1991). MSC: 03C57 03F50 03C52 PDF BibTeX XML Cite \textit{V. E. Plisko}, Mosc. Univ. Math. Bull. 46, No. 4, 36--38 (1991; Zbl 0790.03037); translation from Vestn. Mosk. Univ., Ser. I 1991, No. 4, 38--41 (1991) OpenURL
Solow, Daniel How to read and do proofs: an introduction to mathematical thought processes. 2nd ed. (English) Zbl 0711.00001 New York etc: John Wiley & Sons. xx, 242 p. £15.30 (1990). Reviewer: E.Mendelson MSC: 00-01 03-01 00A30 PDF BibTeX XML Cite \textit{D. Solow}, How to read and do proofs: an introduction to mathematical thought processes. 2nd ed. New York etc: John Wiley \&| Sons (1990; Zbl 0711.00001) OpenURL
Plotkin, A. B. Construction of membership functions for fuzzy sets in the problem of diagnostics of complex objects. Algebraic approach. (Russian) Zbl 0697.94020 Latv. Mat. Ezheg. 33, 111-118 (1989). Reviewer: W.Pedrycz MSC: 94D05 PDF BibTeX XML Cite \textit{A. B. Plotkin}, Latv. Mat. Ezheg. 33, 111--118 (1989; Zbl 0697.94020) OpenURL
Monk, Leonard G. Inference rules using local contexts. (English) Zbl 0715.03006 J. Autom. Reasoning 4, No. 4, 445-462 (1988). MSC: 03B35 68T15 PDF BibTeX XML Cite \textit{L. G. Monk}, J. Autom. Reasoning 4, No. 4, 445--462 (1988; Zbl 0715.03006) Full Text: DOI OpenURL
Queiroz, Ruy J. G. B. A proof-theoretic account of programming and the role of reduction rules. (English) Zbl 0676.03007 Dialectica 42, No. 4, 265-282 (1988). Reviewer: O.Štěpánková MSC: 03B40 03F35 03B30 68Q60 PDF BibTeX XML Cite \textit{R. J. G. B. Queiroz}, Dialectica 42, No. 4, 265--282 (1988; Zbl 0676.03007) Full Text: DOI OpenURL
Rasiowa, Helena Logic of approximation reasoning. (English) Zbl 0661.68098 Computer science logic, 1st Workshop, CSL ’87, Karlsruhe/FRG 1987, Lect. Notes Comput. Sci. 329, 188-210 (1988). MSC: 68T15 03B45 03G20 06D25 PDF BibTeX XML OpenURL
Alsina, Claudi; Trillas, Enric Additive homogeneity of logical connectives for membership functions. (English) Zbl 0682.03012 Analysis of fuzzy information, Vol. 1: Math. logic, 179-183 (1987). Reviewer: A.Di Nola MSC: 03B52 PDF BibTeX XML OpenURL
Mircheva, Marion Sarcis A characteristic model for some tabular many-valued logics. (English) Zbl 0633.03009 Bull. Sect. Logic, Pol. Acad. Sci. 15, 159-163 (1986). Reviewer: I.D’Ottaviano MSC: 03B50 PDF BibTeX XML Cite \textit{M. S. Mircheva}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 159--163 (1986; Zbl 0633.03009) OpenURL
Alsina, Claudi On a family of connectives for fuzzy sets. (English) Zbl 0603.39005 Fuzzy Sets Syst. 16, 231-235 (1985). Reviewer: J.Aczél MSC: 39B99 60A10 03E72 28D99 PDF BibTeX XML Cite \textit{C. Alsina}, Fuzzy Sets Syst. 16, 231--235 (1985; Zbl 0603.39005) Full Text: DOI OpenURL
Boričić, Branislav R. On some subsystems of Dummett’s LC. (English) Zbl 0598.03022 Z. Math. Logik Grundlagen Math. 31, 243-247 (1985). Reviewer: T.Hosoi MSC: 03B55 03B25 PDF BibTeX XML Cite \textit{B. R. Boričić}, Z. Math. Logik Grundlagen Math. 31, 243--247 (1985; Zbl 0598.03022) Full Text: DOI OpenURL
Alsina, Claudi On a family of connectives for fuzzy sets. (English) Zbl 0577.39010 Fuzzy Sets Syst. 16, 231-235 (1985). Reviewer: K.Baron MSC: 39B99 03E72 PDF BibTeX XML Cite \textit{C. Alsina}, Fuzzy Sets Syst. 16, 231--235 (1985; Zbl 0577.39010) Full Text: DOI OpenURL
Franksen, O. I. Are data-structures geometrical objects? IV: Appendix B: Logic invariants by finite truth-tables. (English) Zbl 0582.68007 Syst. Anal., Modelling Simulation 1, 339-350 (1984). MSC: 68P05 03G05 03B50 51F15 PDF BibTeX XML Cite \textit{O. I. Franksen}, Syst. Anal. Modell. Simul. 1, 339--350 (1984; Zbl 0582.68007) OpenURL
Turksen, I. B.; Yao, David D. W. Representations of connectives in fuzzy reasoning: The view through normal forms. (English) Zbl 0547.03021 IEEE Trans. Syst. Man Cybern. 14, 146-151 (1984). Reviewer: J.Sustal MSC: 03B52 PDF BibTeX XML Cite \textit{I. B. Turksen} and \textit{D. D. W. Yao}, IEEE Trans. Syst. Man Cybern. 14, 146--151 (1984; Zbl 0547.03021) Full Text: DOI OpenURL
Volozh, B. B.; Matskin, M. B.; Mints, G. E.; Tyugu, Eh. Kh. The PRIZ system and propositional calculus. (English. Russian original) Zbl 0533.68072 Cybernetics 18, 777-788 (1983); translation from Kibernetika 1982, No. 6, 63-70 (1982). MSC: 68T15 03F55 03-04 03B35 PDF BibTeX XML Cite \textit{B. B. Volozh} et al., Cybernetics 18, 777--788 (1983; Zbl 0533.68072); translation from Kibernetika 1982, No. 6, 63--70 (1982) Full Text: DOI OpenURL
Harris, J. H. What’s so logical about the ”logical” axioms? (English) Zbl 0566.03002 Stud. Log. 41, 159-171 (1982). Reviewer: L.Löfgren MSC: 03A05 PDF BibTeX XML Cite \textit{J. H. Harris}, Stud. Log. 41, 159--171 (1982; Zbl 0566.03002) Full Text: DOI OpenURL
Lefebvre, Vladimir A. [Rapoport, A.] Algebra of conscience. A comparative analysis of Western and Soviet ethical systems. With a foreword by Anatol Rapoport. (English) Zbl 0537.03001 Theory and Decision Library, Vol. 26. Dordrecht - Boston - London: D. Reidel Publishing Company. XXVII, 194 p. Dfl. 90.00 (1982). Reviewer: B.M.Schein MSC: 03A05 03-02 03G05 PDF BibTeX XML OpenURL
Routley, R.; Routley, V.; Meyer, R. K.; Martin, E. P. On the philosophical bases of relevant logic semantics. (English) Zbl 0513.03002 J. Non-Classical Logic 1, 71-105 (1982). MSC: 03A05 PDF BibTeX XML OpenURL
Trillas, Enric; Valverde, Llorenc On some functionally expressable implications for fuzzy set theory. (English) Zbl 0498.03015 Fuzzy set theory, Proc. 3rd int. Semin., Linz/Austria 1981, 174-190 (1981). MSC: 03B52 03B50 03E72 PDF BibTeX XML OpenURL
Wagner, Steven Tonk. (English) Zbl 0442.03004 Notre Dame J. Formal Logic 22, 289-300 (1981). MSC: 03A05 PDF BibTeX XML Cite \textit{S. Wagner}, Notre Dame J. Formal Logic 22, 289--300 (1981; Zbl 0442.03004) Full Text: DOI OpenURL