van der Berg, Ineke; De Domenico, Andrea; Greco, Giuseppe; Manoorkar, Krishna B.; Palmigiano, Alessandra; Panettiere, Mattia Labelled calculi for the logics of rough concepts. (English) Zbl 07728696 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 172-188 (2023). MSC: 03Bxx 68T27 PDFBibTeX XMLCite \textit{I. van der Berg} et al., Lect. Notes Comput. Sci. 13963, 172--188 (2023; Zbl 07728696) Full Text: DOI
Punčochář, Vít Iterated team semantics for a hierarchy of informational types. (English) Zbl 07587333 Ann. Pure Appl. Logic 173, No. 10, Article ID 103156, 31 p. (2022). MSC: 03B60 PDFBibTeX XMLCite \textit{V. Punčochář}, Ann. Pure Appl. Logic 173, No. 10, Article ID 103156, 31 p. (2022; Zbl 07587333) Full Text: DOI
Pupa, Francesco Coalescent theories and divergent paraphrases: definites, non-extensional contexts, and familiarity. (English) Zbl 07795350 Synthese 199, No. 1-2, 4841-4862 (2021); correction ibid. 199, No. 1-2, 4863-4864 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{F. Pupa}, Synthese 199, No. 1--2, 4841--4862 (2021; Zbl 07795350) Full Text: DOI
Odintsov, Sergei; Wansing, Heinrich Routley star and hyperintensionality. (English) Zbl 07345775 J. Philos. Log. 50, No. 1, 33-56 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{S. Odintsov} and \textit{H. Wansing}, J. Philos. Log. 50, No. 1, 33--56 (2021; Zbl 07345775) Full Text: DOI
Giaquinta, Mariano; Modica, Giuseppe; Souček, Jiří An extended propositional logic. (English) Zbl 1353.03015 Bull. Inst. Math., Acad. Sin. (N.S.) 10, No. 1, 73-100 (2015). MSC: 03B60 03G12 81P10 PDFBibTeX XMLCite \textit{M. Giaquinta} et al., Bull. Inst. Math., Acad. Sin. (N.S.) 10, No. 1, 73--100 (2015; Zbl 1353.03015) Full Text: Link
Popov, O. V. The intensional use, appellatio rationis and incomplete object descriptions: an analysis of non-extensional contexts in the works by J. Buridan and E. K. Voĭshvillo. (Russian. English summary) Zbl 1308.03024 Karpenko, A. S. (ed.), Logicheskie issledovaniya. 20. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-197-3/hbk). 161-180 (2014). MSC: 03A05 01A35 03-03 PDFBibTeX XMLCite \textit{O. V. Popov}, in: Logicheskie issledovaniya. 20. Moskva: Tsentr Gumanitarnykh Initsiativ. 161--180 (2014; Zbl 1308.03024)
Danvy, Olivier; Zerny, Ian Three syntactic theories for combinatory graph reduction. (English) Zbl 1353.68040 ACM Trans. Comput. Log. 14, No. 4, Article No. 29, 27 p. (2013). MSC: 68N18 03B40 05C90 PDFBibTeX XMLCite \textit{O. Danvy} and \textit{I. Zerny}, ACM Trans. Comput. Log. 14, No. 4, Article No. 29, 27 p. (2013; Zbl 1353.68040) Full Text: DOI
Humberstone, Lloyd Replacement in logic. (English) Zbl 1280.03011 J. Philos. Log. 42, No. 1, 49-89 (2013). MSC: 03B22 PDFBibTeX XMLCite \textit{L. Humberstone}, J. Philos. Log. 42, No. 1, 49--89 (2013; Zbl 1280.03011) Full Text: DOI
Bacon, Andrew A new conditional for naive truth theory. (English) Zbl 1273.03073 Notre Dame J. Formal Logic 54, No. 1, 87-104 (2013). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B47 03A05 PDFBibTeX XMLCite \textit{A. Bacon}, Notre Dame J. Formal Logic 54, No. 1, 87--104 (2013; Zbl 1273.03073) Full Text: DOI Euclid
Balbiani, Philippe Deciding the word problem in pure double Boolean algebras. (English) Zbl 1283.06027 J. Appl. Log. 10, No. 3, 260-273 (2012). MSC: 06E75 03B25 03D40 68T30 PDFBibTeX XMLCite \textit{P. Balbiani}, J. Appl. Log. 10, No. 3, 260--273 (2012; Zbl 1283.06027) Full Text: DOI
de Paiva, Valeria Bridges from language to logic: concepts, contexts and ontologies. (English) Zbl 1347.03058 Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 83-94 (2011). MSC: 03B65 68T30 PDFBibTeX XMLCite \textit{V. de Paiva}, Electron. Notes Theor. Comput. Sci. 269, 83--94 (2011; Zbl 1347.03058) Full Text: DOI
Baumgartner, Michael Shallow analysis and the slingshot argument. (English) Zbl 1207.03008 J. Philos. Log. 39, No. 5, 531-556 (2010). MSC: 03A05 PDFBibTeX XMLCite \textit{M. Baumgartner}, J. Philos. Log. 39, No. 5, 531--556 (2010; Zbl 1207.03008) Full Text: DOI Link
Djouadi, Yassine; Prade, Henri Interval-valued fuzzy Galois connections: algebraic requirements and concept lattice construction. (English) Zbl 1205.68403 Fundam. Inform. 99, No. 2, 169-186 (2010). MSC: 68T30 03B52 06A15 06B75 68T37 PDFBibTeX XMLCite \textit{Y. Djouadi} and \textit{H. Prade}, Fundam. Inform. 99, No. 2, 169--186 (2010; Zbl 1205.68403) Full Text: DOI
Nepomuceno-Fernández, Ángel; Soler-Toscano, Fernando Defining inferential contexts: deduction and abduction. (English) Zbl 1226.03009 Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 511-529 (2009). MSC: 03A05 03A10 PDFBibTeX XMLCite \textit{Á. Nepomuceno-Fernández} and \textit{F. Soler-Toscano}, Stud. Log. (Lond.) 21, 511--529 (2009; Zbl 1226.03009)
Gabbay, Murdoch J.; Lengrand, Stéphane The \(\lambda\)-context calculus. (English) Zbl 1278.03036 Pientka, B. (ed.) et al., Proceedings of the second international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2007), Bremen, Germany, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 196, 19-35 (2008). MSC: 03B40 03B70 PDFBibTeX XMLCite \textit{M. J. Gabbay} and \textit{S. Lengrand}, Electron. Notes Theor. Comput. Sci. 196, 19--35 (2008; Zbl 1278.03036) Full Text: Link
Crawford, Sean Quantifiers and propositional attitudes: Quine revisited. (English) Zbl 1133.03303 Synthese 160, No. 1, 75-96 (2008). MSC: 03A05 PDFBibTeX XMLCite \textit{S. Crawford}, Synthese 160, No. 1, 75--96 (2008; Zbl 1133.03303) Full Text: DOI
Nogueira, Vitor; Abreu, Salvador Temporal contextual logic programming. (English) Zbl 1279.68042 López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 219-233 (2007). MSC: 68N17 03B44 03B70 PDFBibTeX XMLCite \textit{V. Nogueira} and \textit{S. Abreu}, Electron. Notes Theor. Comput. Sci. 177, 219--233 (2007; Zbl 1279.68042) Full Text: DOI
Tanaka, Miki; Power, John A unified category-theoretic semantics for binding signatures in substructural logics. (English) Zbl 1105.03072 J. Log. Comput. 16, No. 1, 5-25 (2006). MSC: 03G30 03B47 18D10 68N30 PDFBibTeX XMLCite \textit{M. Tanaka} and \textit{J. Power}, J. Log. Comput. 16, No. 1, 5--25 (2006; Zbl 1105.03072) Full Text: DOI
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri Context logic and tree update. (English) Zbl 1369.68132 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 271-282 (2005). MSC: 68N30 03B70 68P05 68Q42 PDFBibTeX XMLCite \textit{C. Calcagno} et al., in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '05, Long Beach, CA, USA, January 12--14, 2005. New York, NY: Association for Computing Machinery (ACM). 271--282 (2005; Zbl 1369.68132) Full Text: DOI Link
Klinger, Julia The logic system of protoconcept graphs. (English) Zbl 1098.03027 Berichte aus der Mathematik. Aachen: Shaker Verlag; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Dissertation) (ISBN 3-8322-4204-X/pbk). 162 p. (2005). MSC: 03B42 03-02 68T30 PDFBibTeX XMLCite \textit{J. Klinger}, The logic system of protoconcept graphs. Aachen: Shaker Verlag; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Dissertation) (2005; Zbl 1098.03027)
Tse, Stephen; Zdancewic, Steve Translating dependency into parametricity. (English) Zbl 1323.68168 Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 115-125 (2004). MSC: 68N18 03B70 PDFBibTeX XMLCite \textit{S. Tse} and \textit{S. Zdancewic}, in: Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP '04, Uppsala, Snowbird, UT, USA, September 19--21, 2004. New York, NY: Association for Computing Machinery (ACM). 115--125 (2004; Zbl 1323.68168) Full Text: DOI
Visser, Albert What makes expressions meaningful? A reflection on contexts and actions. (English) Zbl 1060.03022 Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 625-644 (2004). MSC: 03A05 PDFBibTeX XMLCite \textit{A. Visser}, De Gruyter Ser. Log. Appl. 6, 625--644 (2004; Zbl 1060.03022)
Bellin, Gianluigi; Dalla Pozza, Carlo A pragmatic interpretation of substructural logics. (English) Zbl 1012.03029 Sieg, Wilfried (ed.) et al., Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Natick, MA: A K Peters. Lect. Notes Log. 15, 139-163 (2002). MSC: 03B47 03F05 PDFBibTeX XMLCite \textit{G. Bellin} and \textit{C. Dalla Pozza}, Lect. Notes Log. 15, 139--163 (2002; Zbl 1012.03029)
Parsons, Terence The logic of sense and denotation: Extensions and applications. (English) Zbl 1023.03004 Anderson, C. Anthony (ed.) et al., Logic, meaning and computation. Essays in memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 305, 507-543 (2001). MSC: 03A05 PDFBibTeX XMLCite \textit{T. Parsons}, Synth. Libr. 305, 507--543 (2001; Zbl 1023.03004)
Smirnova, E. D. On the puzzle of belief contexts. An approach to the semantics of intensional systems. (Russian. English summary) Zbl 1031.03014 Karpenko, A. S. (ed.), Logical investigations. 8. Papers from the 3rd international conference “Smirnov’s Readings”, Moscow, Russia, May 2001. Moskva: Nauka. 199-209 (2001). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{E. D. Smirnova}, in: Logicheskie issledovaniya. 8. Moskva: Nauka. 199--209 (2001; Zbl 1031.03014)
Strahringer, Selma; Wille, Rudolf; Wille, Uta Mathematical support for empirical theory building. (English) Zbl 1045.91509 Delugach, Harry S. (ed.) et al., Conceptual structures: broadening the base. 9th international conference, ICCS 2001, Stanford, CA, USA, July 30 – August 3, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42344-3). Lect. Notes Comput. Sci. 2120, 169-186 (2001). MSC: 91C99 03B80 PDFBibTeX XMLCite \textit{S. Strahringer} et al., Lect. Notes Comput. Sci. 2120, 169--186 (2001; Zbl 1045.91509) Full Text: Link
Besnard, Philippe; Tan, Yao-Hua Context-dependent natural deduction for non-monotonic reasoning. (English) Zbl 0996.03016 Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 249-266 (2001). MSC: 03B60 68T27 PDFBibTeX XMLCite \textit{P. Besnard} and \textit{Y.-H. Tan}, in: Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 249--266 (2001; Zbl 0996.03016)
Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi A simply typed context calculus with first-class environments. (English) Zbl 0979.03014 Kuchen, Herbert (ed.) et al., Functional and logic programming. 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2024, 359-374 (2001). MSC: 03B40 PDFBibTeX XMLCite \textit{M. Sato} et al., Lect. Notes Comput. Sci. 2024, 359--374 (2001; Zbl 0979.03014)
Herrmann, Christian; Luksch, Peter; Skorsky, Martin; Wille, Rudolf Algebras of semiconcepts and double Boolean algebras. (English) Zbl 0986.03049 Chajda, I. (ed.) et al., Contributions to general algebra 13. Proceedings of the 60th workshop on general algebra “60. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 22-25, 2000 and of the summer school ’99 on general algebra and ordered sets, Velké Karlovice, Czech Republic, August 30-September 4, 1999. Klagenfurt: Verlag Johannes Heyn. Contrib. Gen. Algebra. 13, 175-188 (2001). MSC: 03G25 03C05 PDFBibTeX XMLCite \textit{C. Herrmann} et al., Contrib. Gen. Algebra 13, 175--188 (2001; Zbl 0986.03049)
Giunchiglia, Enrico; Giunchiglia, Fausto Ideal and real belief about belief. (English) Zbl 1004.03011 J. Log. Comput. 11, No. 1, 157-192 (2001). MSC: 03B42 68T27 PDFBibTeX XMLCite \textit{E. Giunchiglia} and \textit{F. Giunchiglia}, J. Log. Comput. 11, No. 1, 157--192 (2001; Zbl 1004.03011) Full Text: DOI Link
Gabbay, Dov M.; Nossum, Rolf T. Structured contexts with fibred semantics. (English) Zbl 0963.03051 Bonzon, Pierre (ed.) et al., Formal aspects of context. 1st international and interdisciplinary conference on modelling and using context, Rio de Janeiro, Brazil, January 1997. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 20, 193-209 (2000). MSC: 03B70 68T35 68T27 03B65 PDFBibTeX XMLCite \textit{D. M. Gabbay} and \textit{R. T. Nossum}, Appl. Log. Ser. 20, 193--209 (2000; Zbl 0963.03051)
van der Torre, Leendert Violation contexts and deontic independence. (English) Zbl 0946.03025 Bouquet, Paolo (ed.) et al., Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT ’99, Trento, Italy, September 9-11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1688, 361-374 (1999). MSC: 03B45 PDFBibTeX XMLCite \textit{L. van der Torre}, Lect. Notes Comput. Sci. 1688, 361--374 (1999; Zbl 0946.03025)
Ganter, Bernhard; Wille, Rudolf Contextual attribute logic. (English) Zbl 0938.03048 Tepfenhart, William (ed.) et al., Conceptual structures: Standards and practices. 7th international conference, ICCS ‘99, Blacksburg, VA, USA, July 12-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1640, 377-388 (1999). MSC: 03B60 68T30 PDFBibTeX XMLCite \textit{B. Ganter} and \textit{R. Wille}, Lect. Notes Comput. Sci. 1640, 377--388 (1999; Zbl 0938.03048)
Mason, Ian A. Computing with contexts. (English) Zbl 0936.03016 High.-Order Symb. Comput. 12, No. 2, 171-201 (1999). MSC: 03B40 03B70 68T15 68Q55 03B35 68N18 PDFBibTeX XMLCite \textit{I. A. Mason}, High.-Order Symb. Comput. 12, No. 2, 171--201 (1999; Zbl 0936.03016) Full Text: DOI
de Groote, Philippe The non-associative Lambek calculus with product in polynomial time. (English) Zbl 0933.03017 Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 128-139 (1999). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B47 03B25 03D15 68Q25 PDFBibTeX XMLCite \textit{P. de Groote}, Lect. Notes Comput. Sci. 1617, 128--139 (1999; Zbl 0933.03017)
Salibra, Antonino; Goldblatt, Robert A finite equational axiomatization of the functional algebras for the lambda calculus. (English) Zbl 0920.03025 Inf. Comput. 148, No. 1, 71-130 (1999). MSC: 03B40 03C05 03G25 PDFBibTeX XMLCite \textit{A. Salibra} and \textit{R. Goldblatt}, Inf. Comput. 148, No. 1, 71--130 (1999; Zbl 0920.03025) Full Text: DOI Link
Ganter, Bernhard; Wille, Rudolf Formal concept analysis. Mathematical foundations. Transl. from the German by Cornelia Franzke. (English) Zbl 0909.06001 Berlin: Springer. x, 284 p. (1999). MSC: 06-01 03-01 06B23 PDFBibTeX XMLCite \textit{B. Ganter} and \textit{R. Wille}, Formal concept analysis. Mathematical foundations. Transl. from the German by Cornelia Franzke. Berlin: Springer (1999; Zbl 0909.06001)
van Benthem, Johan Changing contexts and shifting assertions. (English) Zbl 0959.03018 Aliseda, Atocha (ed.) et al., Computing natural language. Based on the 4th CSLI workshop on logic, language, and computation, Stanford, CA, USA, June 2-4, 1995. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 81, 51-65 (1998). MSC: 03B65 PDFBibTeX XMLCite \textit{J. van Benthem}, in: Computing natural language. Based on the 4th CSLI workshop on logic, language, and computation, Stanford, CA, USA, June 2--4, 1995. Stanford, CA: CSLI Publications. 51--65 (1998; Zbl 0959.03018)
Burusco, A.; Fuentes-González, R. Construction of the \(L\)-fuzzy concept lattice. (English) Zbl 0927.06006 Fuzzy Sets Syst. 97, No. 1, 109-114 (1998). MSC: 06B99 68T30 68T05 03E72 06B23 PDFBibTeX XMLCite \textit{A. Burusco} and \textit{R. Fuentes-González}, Fuzzy Sets Syst. 97, No. 1, 109--114 (1998; Zbl 0927.06006) Full Text: DOI
Su, Kaile; Chen, Huowang; Liu, Haiyan A hierarchical logic of context. (English) Zbl 0922.03024 J. Nanjing Univ., Math. Biq. 15, No. 2, 147-155 (1998). MSC: 03B45 68T27 68T30 PDFBibTeX XMLCite \textit{K. Su} et al., J. Nanjing Univ., Math. Biq. 15, No. 2, 147--155 (1998; Zbl 0922.03024)
Attardi, Giuseppe; Simi, Maria Communication across viewpoints. (English) Zbl 0892.03008 J. Logic Lang. Inf. 7, No. 1, 53-75 (1998). MSC: 03B65 68T30 PDFBibTeX XMLCite \textit{G. Attardi} and \textit{M. Simi}, J. Logic Lang. Inf. 7, No. 1, 53--75 (1998; Zbl 0892.03008) Full Text: DOI
Pagliani, Piero Information gaps as communication needs: A new semantic foundation for some non-classical logics. (English) Zbl 0867.03023 J. Logic Lang. Inf. 6, No. 1, 63-99 (1997). MSC: 03G99 68T30 68P15 PDFBibTeX XMLCite \textit{P. Pagliani}, J. Logic Lang. Inf. 6, No. 1, 63--99 (1997; Zbl 0867.03023) Full Text: DOI
Mason, Ian A. A first order logic of effects. (English) Zbl 0901.68182 Theor. Comput. Sci. 185, No. 2, 277-318 (1997). MSC: 68T15 03B70 PDFBibTeX XMLCite \textit{I. A. Mason}, Theor. Comput. Sci. 185, No. 2, 277--318 (1997; Zbl 0901.68182) Full Text: DOI
Marion, Jean-Yves Case study: Additive linear logic and lattices. (English) Zbl 0888.03035 Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 237-247 (1997). MSC: 03F03 03B20 PDFBibTeX XMLCite \textit{J.-Y. Marion}, Lect. Notes Comput. Sci. 1234, 237--247 (1997; Zbl 0888.03035)
Su, Kaile; Ding, Decheng; Chen, Huowang A three-valued quantificational logic of context. (English) Zbl 0881.03015 Jiang, Tao (ed.) et al., Computing and combinatorics. 3rd annual international conference, COCOON ’97. Shanghai, China. August 20–22, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1276, 343-352 (1997). MSC: 03B45 68T27 03B50 PDFBibTeX XMLCite \textit{K. Su} et al., Lect. Notes Comput. Sci. 1276, 343--352 (1997; Zbl 0881.03015)
Troelstra, A. S.; Schwichtenberg, H. Basic proof theory. (English) Zbl 0868.03024 Cambridge Tracts in Theoretical Computer Science. 43. Cambridge: Cambridge University Press. xi, 343 p. (1996). Reviewer: H.Pfeiffer (Hannover) MSC: 03F03 03-02 03-01 68N17 03F05 03B40 03G30 03B45 03F30 03F35 PDFBibTeX XMLCite \textit{A. S. Troelstra} and \textit{H. Schwichtenberg}, Basic proof theory. Cambridge: Cambridge University Press (1996; Zbl 0868.03024)
Ganter, Bernhard; Wille, Rudolf Formal concept analysis. Mathematical foundations. (Formale Begriffsanalyse. Mathematische Grundlagen.) (German) Zbl 0861.06001 Berlin: Springer. x, 286 p. (1996). Reviewer: M.Höft (Dearborn) MSC: 06-01 03-01 06B23 PDFBibTeX XMLCite \textit{B. Ganter} and \textit{R. Wille}, Formale Begriffsanalyse. Mathematische Grundlagen. Berlin: Springer (1996; Zbl 0861.06001)
Wille, Uta Geometric representation of ordinal contexts. (English) Zbl 0843.92028 Gießen: Univ. Gießen, 115 p. (1995). Reviewer: U.Wille (Gießen) MSC: 91C05 03E75 PDFBibTeX XMLCite \textit{U. Wille}, Geometric representation of ordinal contexts. Gießen: Univ. Gießen (1995; Zbl 0843.92028)
Farmer, William M.; Guttman, Joshua D.; Thayer, F. Javier Contexts in mathematical reasoning and computation. (English) Zbl 0836.68107 J. Symb. Comput. 19, No. 1-3, 201-216 (1995). MSC: 68T15 68W30 03B35 PDFBibTeX XMLCite \textit{W. M. Farmer} et al., J. Symb. Comput. 19, No. 1--3, 201--216 (1995; Zbl 0836.68107) Full Text: DOI
Buvač, Saša; Buvač, Vanja; Mason, Ian A. Metamathematics of contexts. (English) Zbl 0844.03014 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2-4, 263-301 (1995). Reviewer: J.Šefránek (Bratislava) MSC: 03B60 68T27 03B45 PDFBibTeX XMLCite \textit{S. Buvač} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2--4, 263--301 (1995; Zbl 0844.03014)
Ranta, Aarne Constructing possible worlds. (English) Zbl 0838.03046 Theoria 57, No. 1-2, 77-100 (1991). MSC: 03F50 PDFBibTeX XMLCite \textit{A. Ranta}, Theoria 57, No. 1--2, 77--100 (1991; Zbl 0838.03046) Full Text: DOI
Cresswell, M. J. Semantical essays. Possible worlds and their rivals. (English) Zbl 0721.03002 Studies in Linguistics and Philosophy, 36. Dordrecht etc.: Kluwer Academic Publishers. viii, 210 p. £36.00; $ 64.00; Dfl. 120.00 (1988). Reviewer: W.Lenzen (Osnabrück) MSC: 03-02 03B45 03A05 03B65 00B60 PDFBibTeX XMLCite \textit{M. J. Cresswell}, Semantical essays. Possible worlds and their rivals. Dordrecht etc.: Kluwer Academic Publishers (1988; Zbl 0721.03002)
Monk, Leonard G. Inference rules using local contexts. (English) Zbl 0715.03006 J. Autom. Reasoning 4, No. 4, 445-462 (1988). MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{L. G. Monk}, J. Autom. Reasoning 4, No. 4, 445--462 (1988; Zbl 0715.03006) Full Text: DOI
Balsters, Herman Lambda calculus extended with segments. (English) Zbl 0651.03007 Mathematical logic and theoretical computer science, Lect. Notes Pure Appl. Math. 106, 15-27 (1987). Reviewer: G.Mints MSC: 03B40 PDFBibTeX XML
Barwise, Jon; Perry, John Shifting situations and shaken attitudes. An interview with Barwise and Perry. (English) Zbl 0557.03002 Linguist. Philos. 8, 105-161 (1985). Reviewer: J.Mackenzie MSC: 03A05 PDFBibTeX XMLCite \textit{J. Barwise} and \textit{J. Perry}, Linguist. Philos. 8, 105--161 (1985; Zbl 0557.03002) Full Text: DOI
Landman, Fred Data semantics for attitude reports. (English) Zbl 0583.03019 Varieties of formal semantics, Proc. 4th Colloq., Amsterdam 1982, Groningen-Amst. Stud. Semantics 3, 193-217 (1984). Reviewer: J.Mackenzie MSC: 03B65 PDFBibTeX XML
Ruzsa, Imre Modal logic with descriptions. (English) Zbl 0479.03009 Nijhoff International Philosophy Series, Vol. 10. The Hague; Boston; London: Martinus Nijhoff Publishers; Budapest: Akademiai Kiado. 135 p. Dfl. 55.00; $ 24.00 (1981). MSC: 03B45 03B50 03-02 03A05 PDFBibTeX XML
Oguntade, Olufemi O. Towards the psychophysics of humanistic systems. (English) Zbl 0451.92024 Cybernetica 23, 299-323 (1980). MSC: 91E30 91E99 91D99 03A05 94D05 68T99 54A40 PDFBibTeX XMLCite \textit{O. O. Oguntade}, Cybernetica 23, 299--323 (1980; Zbl 0451.92024)
Hooker, C. A. (ed.) [Catlin, D. E.; Dishkant, H.; Gudder, S. P.; Rüttimann, G. T.; Finkelstein, D.; Heelan, P. A.; Putnam, H.; Bub, J.; Srinivas, M. D.; Strauss, M.; Giles, R.; Jauch, J. M.; Speiser, D.; Hardegree, G. M.] The logico-algebraic approach to quantum mechanics. Vol. II: Contemporary consolidation. (English) Zbl 0429.03046 The University of Western Ontario Series in Philosophy of Science, 5. Dordrecht, Boston, London: D. Reidel Publishing Company. XX, 466 p. hbk: Dfl. 145.00; $ 69.00. pbk: Dfl. 55.00; $ 24.00 (1979). MSC: 03G12 03A05 03-06 03-02 03-03 81Pxx 81-06 81-02 81-03 01A65 01A75 PDFBibTeX XML