Vágvölgyi, Sándor Deterministic top-down tree automata with Boolean deterministic look-ahead. (English) Zbl 07570313 Theor. Comput. Sci. 927, 42-64 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Vágvölgyi}, Theor. Comput. Sci. 927, 42--64 (2022; Zbl 07570313) Full Text: DOI
Marquès, Jérémie Polyadic spaces and profinite monoids. (English) Zbl 07670525 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 292-308 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Marquès}, Lect. Notes Comput. Sci. 13027, 292--308 (2021; Zbl 07670525) Full Text: DOI
Doberkat, Ernst-Erich Congruences for stochastic automata. (English) Zbl 1490.68126 Rend. Ist. Mat. Univ. Trieste 53, Paper No. 27, 25 p. (2021). MSC: 68Q45 18A32 68Q70 PDFBibTeX XMLCite \textit{E.-E. Doberkat}, Rend. Ist. Mat. Univ. Trieste 53, Paper No. 27, 25 p. (2021; Zbl 1490.68126) Full Text: DOI arXiv
Mundici, Daniele Deciding Koopman’s qualitative probability. (English) Zbl 07418682 Artif. Intell. 299, Article ID 103524, 18 p. (2021). MSC: 03B48 60A05 68T27 68T30 PDFBibTeX XMLCite \textit{D. Mundici}, Artif. Intell. 299, Article ID 103524, 18 p. (2021; Zbl 07418682) Full Text: DOI
Belot, Gordon Absolutely no free lunches! (English) Zbl 1454.68117 Theor. Comput. Sci. 845, 159-180 (2020). MSC: 68T05 68T20 90C59 PDFBibTeX XMLCite \textit{G. Belot}, Theor. Comput. Sci. 845, 159--180 (2020; Zbl 1454.68117) Full Text: DOI arXiv
Bezhanishvili, Guram; Holliday, Wesley H. A semantic hierarchy for intuitionistic logic. (English) Zbl 07049867 Indag. Math., New Ser. 30, No. 3, 403-469 (2019). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{G. Bezhanishvili} and \textit{W. H. Holliday}, Indag. Math., New Ser. 30, No. 3, 403--469 (2019; Zbl 07049867) Full Text: DOI Link Backlinks: MO
Haucourt, Emmanuel; Ninin, Nicolas Unique decomposition of homogeneous languages and application to isothetic regions. (English) Zbl 1418.68129 Math. Struct. Comput. Sci. 29, No. 5, 681-730 (2019). MSC: 68Q70 68N30 68Q85 68R10 PDFBibTeX XMLCite \textit{E. Haucourt} and \textit{N. Ninin}, Math. Struct. Comput. Sci. 29, No. 5, 681--730 (2019; Zbl 1418.68129) Full Text: DOI
Maly, Jan; Müller, Moritz A remark on pseudo proof systems and hard instances of the satisfiability problem. (English) Zbl 1521.03220 Math. Log. Q. 64, No. 6, 418-428 (2018). MSC: 03F20 03H05 68Q17 PDFBibTeX XMLCite \textit{J. Maly} and \textit{M. Müller}, Math. Log. Q. 64, No. 6, 418--428 (2018; Zbl 1521.03220) Full Text: DOI
Jankowski, Andrzej; Skowron, Andrzej Helena Rasiowa (1917–1994). (English) Zbl 1466.01017 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 703-709 (2018). MSC: 01A70 03-03 68-03 PDFBibTeX XMLCite \textit{A. Jankowski} and \textit{A. Skowron}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 703--709 (2018; Zbl 1466.01017) Full Text: DOI
Vakarelov, Dimiter A mereotopology based on sequent algebras. (English) Zbl 1398.03147 J. Appl. Non-Class. Log. 27, No. 3-4, 342-364 (2017). MSC: 03B60 03B30 03G25 68T27 PDFBibTeX XMLCite \textit{D. Vakarelov}, J. Appl. Non-Class. Log. 27, No. 3--4, 342--364 (2017; Zbl 1398.03147) Full Text: DOI
Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín Infinitary equilibrium logic and strongly equivalent logic programs. (English) Zbl 1419.68120 Artif. Intell. 246, 22-33 (2017). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{A. Harrison} et al., Artif. Intell. 246, 22--33 (2017; Zbl 1419.68120) Full Text: DOI
Mahmoudi, Mojgan; Yavari, Mahdieh; Ebrahimi, M. Mehdi Injectivity of directed complete poset acts. (English) Zbl 1386.06020 Commun. Algebra 45, No. 5, 1865-1878 (2017). MSC: 06F05 08B30 20M30 20M50 68Q70 PDFBibTeX XMLCite \textit{M. Mahmoudi} et al., Commun. Algebra 45, No. 5, 1865--1878 (2017; Zbl 1386.06020) Full Text: DOI
D’Silva, Vijay; Urban, Caterina Abstract interpretation as automated deduction. (English) Zbl 1410.68222 J. Autom. Reasoning 58, No. 3, 363-390 (2017). MSC: 68Q60 03B35 03D05 68T15 PDFBibTeX XMLCite \textit{V. D'Silva} and \textit{C. Urban}, J. Autom. Reasoning 58, No. 3, 363--390 (2017; Zbl 1410.68222) Full Text: DOI HAL
Coletti, Giulianella; Petturiti, Davide; Vantaggi, Barbara Conditional belief functions as lower envelopes of conditional probabilities in a finite setting. (English) Zbl 1395.68261 Inf. Sci. 339, 64-84 (2016). MSC: 68T37 68T30 PDFBibTeX XMLCite \textit{G. Coletti} et al., Inf. Sci. 339, 64--84 (2016; Zbl 1395.68261) Full Text: DOI
Axelsen, Holger Bock; Glück, Robert; Kaarsgaard, Robin A classical propositional logic for reasoning about reversible logic circuits. (English) Zbl 1478.68084 Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 52-67 (2016). MSC: 68Q06 03B05 81P65 94C11 PDFBibTeX XMLCite \textit{H. B. Axelsen} et al., Lect. Notes Comput. Sci. 9803, 52--67 (2016; Zbl 1478.68084) Full Text: DOI
Haniková, Zuzana; Savický, Petr Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras. (English) Zbl 1418.03193 Theor. Comput. Sci. 631, 1-15 (2016). MSC: 03G25 03B47 68Q25 PDFBibTeX XMLCite \textit{Z. Haniková} and \textit{P. Savický}, Theor. Comput. Sci. 631, 1--15 (2016; Zbl 1418.03193) Full Text: DOI arXiv
Larsen, Kim G.; Mardare, Radu; Xue, Bingtian Alternation-free weighted mu-calculus: decidability and completeness. (English) Zbl 1351.68164 Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 289-313, electronic only (2015). MSC: 68Q60 03B45 68Q55 68Q85 PDFBibTeX XMLCite \textit{K. G. Larsen} et al., Electron. Notes Theor. Comput. Sci. 319, 289--313 (2015; Zbl 1351.68164) Full Text: DOI
Vetterlein, Thomas Logic of approximate entailment in quasimetric spaces. (English) Zbl 1344.68225 Int. J. Approx. Reasoning 64, 39-53 (2015). MSC: 68T27 68T37 PDFBibTeX XMLCite \textit{T. Vetterlein}, Int. J. Approx. Reasoning 64, 39--53 (2015; Zbl 1344.68225) Full Text: DOI arXiv
D’Silva, Vijay; Urban, Caterina Abstract interpretation as automated deduction. (English) Zbl 1465.68175 Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 450-464 (2015). MSC: 68Q60 03B35 68N20 68V15 PDFBibTeX XMLCite \textit{V. D'Silva} and \textit{C. Urban}, Lect. Notes Comput. Sci. 9195, 450--464 (2015; Zbl 1465.68175) Full Text: DOI HAL
Larsen, Kim G.; Mardare, Radu; Xue, Bingtian Concurrent weighted logic. (English) Zbl 1330.68210 J. Log. Algebr. Methods Program. 84, No. 6, 884-897 (2015). MSC: 68Q85 03B45 03B70 PDFBibTeX XMLCite \textit{K. G. Larsen} et al., J. Log. Algebr. Methods Program. 84, No. 6, 884--897 (2015; Zbl 1330.68210) Full Text: DOI
Kramosil, Ivan; Daniel, Milan Several results on set-valued possibilistic distributions. (English) Zbl 1340.60001 Kybernetika 51, No. 3, 391-407 (2015). MSC: 60A86 68T37 PDFBibTeX XMLCite \textit{I. Kramosil} and \textit{M. Daniel}, Kybernetika 51, No. 3, 391--407 (2015; Zbl 1340.60001) Full Text: DOI Link
Vychodil, Vilem Monoidal functional dependencies. (English) Zbl 1339.68070 J. Comput. Syst. Sci. 81, No. 7, 1357-1372 (2015). MSC: 68P15 03B70 06F05 PDFBibTeX XMLCite \textit{V. Vychodil}, J. Comput. Syst. Sci. 81, No. 7, 1357--1372 (2015; Zbl 1339.68070) Full Text: DOI arXiv
Amgoud, Leila; Besnard, Philippe; Vesic, Srdjan Equivalence in logic-based argumentation. (English) Zbl 1400.68202 J. Appl. Non-Class. Log. 24, No. 3, 181-208 (2014). MSC: 68T27 68T37 PDFBibTeX XMLCite \textit{L. Amgoud} et al., J. Appl. Non-Class. Log. 24, No. 3, 181--208 (2014; Zbl 1400.68202) Full Text: DOI Link
Jaziri, Samy; Larsen, Kim G.; Mardare, Radu; Xue, Bingtian Adequacy and complete axiomatization for timed modal logic. (English) Zbl 1337.03028 Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 183-210, electronic only (2014). MSC: 03B45 03B70 68Q60 68Q85 PDFBibTeX XMLCite \textit{S. Jaziri} et al., Electron. Notes Theor. Comput. Sci. 308, 183--210 (2014; Zbl 1337.03028) Full Text: DOI
Vakarelov, D. Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I. (English. Russian original) Zbl 1323.03032 Algebra Logic 53, No. 3, 191-205 (2014); translation from Algebra Logika 53, No. 3, 300-322 (2014). MSC: 03B60 03B30 68T27 PDFBibTeX XMLCite \textit{D. Vakarelov}, Algebra Logic 53, No. 3, 191--205 (2014; Zbl 1323.03032); translation from Algebra Logika 53, No. 3, 300--322 (2014) Full Text: DOI
Konovalov, A. S.; Selivanov, V. L. Boolean algebras of regular languages. (English. Russian original) Zbl 1312.68119 Algebra Logic 52, No. 6, 448-470 (2014); translation from Algebra Logika 52, No. 6, 676-711 (2013). MSC: 68Q45 06E05 PDFBibTeX XMLCite \textit{A. S. Konovalov} and \textit{V. L. Selivanov}, Algebra Logic 52, No. 6, 448--470 (2014; Zbl 1312.68119); translation from Algebra Logika 52, No. 6, 676--711 (2013) Full Text: DOI
Constable, Robert; Bickford, Mark Intuitionistic completeness of first-order logic. (English) Zbl 1345.03114 Ann. Pure Appl. Logic 165, No. 1, 164-198 (2014). MSC: 03F55 03B20 68T15 PDFBibTeX XMLCite \textit{R. Constable} and \textit{M. Bickford}, Ann. Pure Appl. Logic 165, No. 1, 164--198 (2014; Zbl 1345.03114) Full Text: DOI arXiv
Wasilewska, Anita From logic to computer science – a personal experience. (English) Zbl 1308.01027 Skowron, Andrzej (ed.) et al., Rough sets and intelligent systems – Professor Zdzisław Pawlak in memoriam. Volume 2. Berlin: Springer (ISBN 978-3-642-30340-1/hbk; 978-3-642-30341-8/ebook). Intelligent Systems Reference Library 43, 1-5 (2013). MSC: 01A70 03-03 68-03 PDFBibTeX XMLCite \textit{A. Wasilewska}, Intell. Syst. Ref. Libr. 43, 1--5 (2013; Zbl 1308.01027) Full Text: DOI
Kramosil, Ivan; Daniel, Milan Statistical estimations of lattice-valued possibilistic distributions. (English) Zbl 1341.68258 Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 688-699 (2011). MSC: 68T37 62G05 PDFBibTeX XMLCite \textit{I. Kramosil} and \textit{M. Daniel}, Lect. Notes Comput. Sci. 6717, 688--699 (2011; Zbl 1341.68258) Full Text: DOI Link
Desharnais, Josée; Laviolette, François; Turgeon, Amélie A logical duality for underspecified probabilistic systems. (English) Zbl 1222.68119 Inf. Comput. 209, No. 5, 850-871 (2011). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 03B70 68Q87 PDFBibTeX XMLCite \textit{J. Desharnais} et al., Inf. Comput. 209, No. 5, 850--871 (2011; Zbl 1222.68119) Full Text: DOI
Schmidt, Renate A. Simulation and synthesis of deduction calculi. (English) Zbl 1345.68254 Bolander, Thomas (ed.) et al., Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 262, 221-229 (2010). MSC: 68T15 03B35 68Q55 PDFBibTeX XMLCite \textit{R. A. Schmidt}, Electron. Notes Theor. Comput. Sci. 262, 221--229 (2010; Zbl 1345.68254) Full Text: DOI
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej What is a logic translation? (English) Zbl 1255.03023 Log. Univers. 3, No. 1, 95-124 (2009). MSC: 03B22 03B70 03G30 68Q65 PDFBibTeX XMLCite \textit{T. Mossakowski} et al., Log. Univers. 3, No. 1, 95--124 (2009; Zbl 1255.03023) Full Text: DOI
Castro, Pablo F.; Maibaum, T. S. E. Deontic action logic, atomic Boolean algebras and fault-tolerance. (English) Zbl 1193.03060 J. Appl. Log. 7, No. 4, 441-466 (2009). MSC: 03B70 03B44 03B45 03G05 68N30 PDFBibTeX XMLCite \textit{P. F. Castro} and \textit{T. S. E. Maibaum}, J. Appl. Log. 7, No. 4, 441--466 (2009; Zbl 1193.03060) Full Text: DOI
Schmidt, Renate A. A new methodology for developing deduction methods. (English) Zbl 1192.68632 Ann. Math. Artif. Intell. 55, No. 1-2, 155-187 (2009). MSC: 68T15 03B25 03B35 03B45 03B70 03F03 68T27 PDFBibTeX XMLCite \textit{R. A. Schmidt}, Ann. Math. Artif. Intell. 55, No. 1--2, 155--187 (2009; Zbl 1192.68632) Full Text: DOI
Burrieza, A.; Mora, A.; Ojeda-Aciego, M.; Orłowska, E. An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. (English) Zbl 1191.03008 Int. J. Comput. Math. 86, No. 10-11, 1852-1866 (2009). Reviewer: Viorica Sofronie-Stokkermans (Saarbrücken) MSC: 03B35 03B45 05E10 68T15 PDFBibTeX XMLCite \textit{A. Burrieza} et al., Int. J. Comput. Math. 86, No. 10--11, 1852--1866 (2009; Zbl 1191.03008) Full Text: DOI
Golińska-Pilarek, J.; Muñoz-Velasco, E. Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. (English) Zbl 1181.03018 Int. J. Comput. Math. 86, No. 10-11, 1707-1718 (2009). MSC: 03B45 03B35 68T15 68T27 PDFBibTeX XMLCite \textit{J. Golińska-Pilarek} and \textit{E. Muñoz-Velasco}, Int. J. Comput. Math. 86, No. 10--11, 1707--1718 (2009; Zbl 1181.03018) Full Text: DOI
Desharnais, Josée; Laviolette, François; Turgeon, Amélie A demonic approach to information in probabilistic systems. (English) Zbl 1254.68167 Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 289-304 (2009). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{J. Desharnais} et al., Lect. Notes Comput. Sci. 5710, 289--304 (2009; Zbl 1254.68167) Full Text: DOI
Kramosil, Ivan Possibilistic measures taking their values in spaces given by inclusion-closed fragments of power-sets. (English) Zbl 1245.68216 Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 688-699 (2009). MSC: 68T37 03E72 06B23 PDFBibTeX XMLCite \textit{I. Kramosil}, Lect. Notes Comput. Sci. 5590, 688--699 (2009; Zbl 1245.68216) Full Text: DOI
Gumm, H. Peter Copower functors. (English) Zbl 1173.68042 Theor. Comput. Sci. 410, No. 12-13, 1129-1142 (2009). MSC: 68Q85 18B20 PDFBibTeX XMLCite \textit{H. P. Gumm}, Theor. Comput. Sci. 410, No. 12--13, 1129--1142 (2009; Zbl 1173.68042) Full Text: DOI
Järvinen, Jouni; Kondo, Michiro; Kortelainen, Jari Logics from Galois connections. (English) Zbl 1184.68484 Int. J. Approx. Reasoning 49, No. 3, 595-606 (2008). MSC: 68T27 03B45 06A15 68T30 68T37 PDFBibTeX XMLCite \textit{J. Järvinen} et al., Int. J. Approx. Reasoning 49, No. 3, 595--606 (2008; Zbl 1184.68484) Full Text: DOI
Orłowska, Ewa; Rewitzky, Ingrid Context algebras, context frames, and their discrete duality. (English) Zbl 1194.68214 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, 212-229 (2008). MSC: 68T27 06D50 68T30 PDFBibTeX XMLCite \textit{E. Orłowska} and \textit{I. Rewitzky}, Lect. Notes Comput. Sci. 5390, 212--229 (2008; Zbl 1194.68214) Full Text: DOI
Czaja, Ludwik Calculi of net structures and sets are similar. (English) Zbl 1144.68042 Theor. Inform. Appl. 42, No. 2, 271-284 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Czaja}, Theor. Inform. Appl. 42, No. 2, 271--284 (2008; Zbl 1144.68042) Full Text: DOI Numdam EuDML
Sanjuan, Eric Heyting algebras with Boolean operators for rough sets and information retrieval applications. (English) Zbl 1134.06007 Discrete Appl. Math. 156, No. 6, 967-983 (2008). MSC: 06D20 03B50 08A72 68P20 68T30 68T37 PDFBibTeX XMLCite \textit{E. Sanjuan}, Discrete Appl. Math. 156, No. 6, 967--983 (2008; Zbl 1134.06007) Full Text: DOI Backlinks: MO
Santiago, Regivan H. N.; Moreira, Anamaria Martins Implementing local intervals in CASL. (English) Zbl 1279.68234 Sampaio, Augusto (ed.), Proceedings of the second Brazilian symposium on formal methods (SBMF 2005), Porto Alegre, RS, Brazil, November 30, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 184, 133-149 (2007). MSC: 68Q65 PDFBibTeX XMLCite \textit{R. H. N. Santiago} and \textit{A. M. Moreira}, Electron. Notes Theor. Comput. Sci. 184, 133--149 (2007; Zbl 1279.68234) Full Text: DOI
Nguyen Cat Ho A topological completion of refined hedge algebras and a model of fuzziness of linguistic terms and hedges. (English) Zbl 1108.68117 Fuzzy Sets Syst. 158, No. 4, 436-451 (2007). MSC: 68T37 PDFBibTeX XMLCite \textit{Nguyen Cat Ho}, Fuzzy Sets Syst. 158, No. 4, 436--451 (2007; Zbl 1108.68117) Full Text: DOI
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 PDFBibTeX XMLCite \textit{A. M. Radzikowska}, J. Appl. Non-Class. Log. 16, No. 3--4, 485--506 (2006; Zbl 1185.68716) Full Text: DOI
Golińska-Pilarek, Joanna; Orłowska, Ewa Relational proof systems for spatial reasoning. (English) Zbl 1185.68672 J. Appl. Non-Class. Log. 16, No. 3-4, 409-431 (2006). MSC: 68T27 03G15 68T15 PDFBibTeX XMLCite \textit{J. Golińska-Pilarek} and \textit{E. Orłowska}, J. Appl. Non-Class. Log. 16, No. 3--4, 409--431 (2006; Zbl 1185.68672) Full Text: DOI
Formisano, Andrea; Nicolosi-Asmundo, Marianna An efficient relational deductive system for propositional non-classical logics. (English) Zbl 1186.03044 J. Appl. Non-Class. Log. 16, No. 3-4, 367-408 (2006). MSC: 03B45 03B35 03B70 68T15 PDFBibTeX XMLCite \textit{A. Formisano} and \textit{M. Nicolosi-Asmundo}, J. Appl. Non-Class. Log. 16, No. 3--4, 367--408 (2006; Zbl 1186.03044) Full Text: DOI
Arzi-Gonczarowski, Zippora Understanding one another: making out meanings with Boolean equations. (English) Zbl 1118.68113 Ann. Math. Artif. Intell. 48, No. 3-4, 109-134 (2006). MSC: 68T05 06E05 PDFBibTeX XMLCite \textit{Z. Arzi-Gonczarowski}, Ann. Math. Artif. Intell. 48, No. 3--4, 109--134 (2006; Zbl 1118.68113) Full Text: DOI
Bergstra, J. A.; Middelburg, C. A. Splitting bisimulations and retrospective conditions. (English) Zbl 1104.68070 Inf. Comput. 204, No. 7, 1083-1138 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Inf. Comput. 204, No. 7, 1083--1138 (2006; Zbl 1104.68070) Full Text: DOI
Lamo, Yngve; Walicki, Michał Quantifier-free logic for nondeterministic theories. (English) Zbl 1088.68113 Theor. Comput. Sci. 355, No. 2, 215-227 (2006). MSC: 68Q65 03B70 PDFBibTeX XMLCite \textit{Y. Lamo} and \textit{M. Walicki}, Theor. Comput. Sci. 355, No. 2, 215--227 (2006; Zbl 1088.68113) Full Text: DOI
Qi, Guilin; Liu, Weiru Rough operations on Boolean algebras. (English) Zbl 1074.03025 Inf. Sci. 173, No. 1-3, 49-63 (2005). MSC: 03E72 06E99 68T37 94D05 PDFBibTeX XMLCite \textit{G. Qi} and \textit{W. Liu}, Inf. Sci. 173, No. 1--3, 49--63 (2005; Zbl 1074.03025) Full Text: DOI Link
Lamo, Yngve; Walicki, Michał Quantifier-free logic for multialgebraic theories. (English) Zbl 1264.03086 de Queiroz, Ruy (ed.) et al., Proceedings of the 10th workshop on logic, language, information and computation (WoLLIC’2003), Ouro Preto, Minas Gerais, Brazil, July 29 – August 1, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 84, 141-153 (2003). MSC: 03B70 68Q65 PDFBibTeX XMLCite \textit{Y. Lamo} and \textit{M. Walicki}, Electron. Notes Theor. Comput. Sci. 84, 141--153 (2003; Zbl 1264.03086) Full Text: DOI
Luttik, Bas On the expressiveness of choice quantification. (English) Zbl 1026.03018 Ann. Pure Appl. Logic 121, No. 1, 39-87 (2003). MSC: 03B70 68Q85 03D40 68Q60 PDFBibTeX XMLCite \textit{B. Luttik}, Ann. Pure Appl. Logic 121, No. 1, 39--87 (2003; Zbl 1026.03018) Full Text: DOI
Kramosil, Ivan A nonstandard modification of Dempster combination rule. (English) Zbl 1265.68268 Kybernetika 38, No. 1, 1-12 (2002). MSC: 68T37 PDFBibTeX XMLCite \textit{I. Kramosil}, Kybernetika 38, No. 1, 1--12 (2002; Zbl 1265.68268) Full Text: Link
Torrini, Paolo; Stell, John G.; Bennett, Brandon Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic. (English) Zbl 1185.03036 J. Appl. Non-Class. Log. 12, No. 3-4, 495-525 (2002). MSC: 03B45 03B55 54A99 68T27 68U05 PDFBibTeX XMLCite \textit{P. Torrini} et al., J. Appl. Non-Class. Log. 12, No. 3--4, 495--525 (2002; Zbl 1185.03036) Full Text: DOI
Huynh, V. N.; Ho, T. B.; Nakamori, Y. A parametric representation of linguistic hedges in Zadeh’s fuzzy logic. (English) Zbl 1019.03501 Int. J. Approx. Reasoning 30, No. 3, 203-223 (2002). MSC: 03B52 68T37 PDFBibTeX XMLCite \textit{V. N. Huynh} et al., Int. J. Approx. Reasoning 30, No. 3, 203--223 (2002; Zbl 1019.03501) Full Text: DOI
Konikowska, Beata Rasiowa-Sikorski deduction systems in computer science applications. (English) Zbl 1058.03029 Theor. Comput. Sci. 286, No. 2, 323-366 (2002). MSC: 03B70 03B22 03F07 68Q60 68T27 PDFBibTeX XMLCite \textit{B. Konikowska}, Theor. Comput. Sci. 286, No. 2, 323--366 (2002; Zbl 1058.03029) Full Text: DOI
Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław Annotated revision programs. (English) Zbl 0995.68106 Artif. Intell. 138, No. 1-2, 149-180 (2002). MSC: 68T30 68P15 PDFBibTeX XMLCite \textit{V. Marek} et al., Artif. Intell. 138, No. 1--2, 149--180 (2002; Zbl 0995.68106) Full Text: DOI
Rudnicki, Piotr; Schwarzweller, Christoph; Trybulec, Andrzej Commutative algebra in the Mizar system. (English) Zbl 1074.68081 J. Symb. Comput. 32, No. 1-2, 143-169 (2001). MSC: 68W30 13P99 PDFBibTeX XMLCite \textit{P. Rudnicki} et al., J. Symb. Comput. 32, No. 1--2, 143--169 (2001; Zbl 1074.68081) Full Text: DOI Link
Goodman, I. R.; Kreinovich, Vladik On representation and approximation of operations in Boolean algebras. (English) Zbl 0993.03078 Int. J. Intell. Syst. 16, No. 5, 647-653 (2001). Reviewer: Albert A.Mullin (Madison) MSC: 03G05 03B50 68T27 PDFBibTeX XMLCite \textit{I. R. Goodman} and \textit{V. Kreinovich}, Int. J. Intell. Syst. 16, No. 5, 647--653 (2001; Zbl 0993.03078) Full Text: DOI Link
Düntsch, Ivo; Orłowska, Ewa A proof system for contact relation algebras. (English) Zbl 0956.03052 J. Philos. Log. 29, No. 3, 241-262 (2000). Reviewer: Jānis Cīrulis (Riga) MSC: 03G15 51M99 68T27 03B25 03B60 PDFBibTeX XMLCite \textit{I. Düntsch} and \textit{E. Orłowska}, J. Philos. Log. 29, No. 3, 241--262 (2000; Zbl 0956.03052) Full Text: DOI
Gargov, George Knowledge, uncertainty and ignorance in logic: Bilattices and beyond. (English) Zbl 0993.03079 J. Appl. Non-Class. Log. 9, No. 2-3, 195-283 (1999). MSC: 03G10 68T27 03B50 03B42 68T30 68T37 03-02 68-02 PDFBibTeX XMLCite \textit{G. Gargov}, J. Appl. Non-Class. Log. 9, No. 2--3, 195--283 (1999; Zbl 0993.03079) Full Text: DOI
Seidl, Helmut; Niwiński, Damian On distributive fixed-point expressions. (English) Zbl 0945.68127 Theor. Inform. Appl. 33, No. 4-5, 427-446 (1999). MSC: 68Q60 03D70 06D99 68Q25 PDFBibTeX XMLCite \textit{H. Seidl} and \textit{D. Niwiński}, Theor. Inform. Appl. 33, No. 4--5, 427--446 (1999; Zbl 0945.68127) Full Text: DOI EuDML Link
Yao, Y. Y. Constructive and algebraic methods of the theory of rough sets. (English) Zbl 0934.03071 Inf. Sci. 109, No. 1-4, 21-47 (1998). Reviewer: Andrzej Skowron (Warszawa) MSC: 03E72 68T30 PDFBibTeX XMLCite \textit{Y. Y. Yao}, Inf. Sci. 109, No. 1--4, 21--47 (1998; Zbl 0934.03071) Full Text: DOI
Novodvorsky, Aleksey; Smirnov, Aleksey A shell for generic interactive proof search. (English) Zbl 0955.03503 J. Appl. Non-Class. Log. 8, No. 1-2, 123-140 (1998). MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{A. Novodvorsky} and \textit{A. Smirnov}, J. Appl. Non-Class. Log. 8, No. 1--2, 123--140 (1998; Zbl 0955.03503) Full Text: DOI
Arzi-Gonczarowski, Z.; Lehmann, D. From environments to representations – a mathematical theory of artificial perceptions. (English) Zbl 0909.68179 Artif. Intell. 102, No. 2, 187-247 (1998). MSC: 68T99 PDFBibTeX XMLCite \textit{Z. Arzi-Gonczarowski} and \textit{D. Lehmann}, Artif. Intell. 102, No. 2, 187--247 (1998; Zbl 0909.68179) Full Text: DOI
Kohlas, Jürg Allocation of arguments and evidence theory. (English) Zbl 0874.68275 Theor. Comput. Sci. 171, No. 1-2, 221-246 (1997). MSC: 68T27 PDFBibTeX XMLCite \textit{J. Kohlas}, Theor. Comput. Sci. 171, No. 1--2, 221--246 (1997; Zbl 0874.68275) Full Text: DOI
Patterson, Anna Bisimulation and propositional intuitionistic logic. (English) Zbl 1512.03027 Mazurkiewicz, Antoni (ed.) et al., CONCUR ’97: concurrency theory. 8th international conference. Warsaw, Poland. July 1–4, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1243, 347-360 (1997). MSC: 03B20 68Q85 PDFBibTeX XMLCite \textit{A. Patterson}, Lect. Notes Comput. Sci. 1243, 347--360 (1997; Zbl 1512.03027) Full Text: DOI
Muravitsky, Alexei Yu. Knowledge representation as domain. (English) Zbl 0887.68105 J. Appl. Non-Class. Log. 7, No. 3, 343-364 (1997). MSC: 68T30 PDFBibTeX XMLCite \textit{A. Yu. Muravitsky}, J. Appl. Non-Class. Log. 7, No. 3, 343--364 (1997; Zbl 0887.68105) Full Text: DOI
Demri, Stéphane; Orłowska, Ewa Logical analysis of demonic nondeterministic programs. (English) Zbl 0872.03018 Theor. Comput. Sci. 166, No. 1-2, 173-202 (1996). MSC: 03B70 68Q60 PDFBibTeX XMLCite \textit{S. Demri} and \textit{E. Orłowska}, Theor. Comput. Sci. 166, No. 1--2, 173--202 (1996; Zbl 0872.03018) Full Text: DOI
Novák, Vilém Paradigm, formal properties and limits of fuzzy logic. (English) Zbl 0855.03010 Int. J. Gen. Syst. 24, No. 4, 377-405 (1996). MSC: 03B52 93C42 68T27 PDFBibTeX XMLCite \textit{V. Novák}, Int. J. Gen. Syst. 24, No. 4, 377--405 (1996; Zbl 0855.03010) Full Text: DOI
Smyth, M. B. Semi-metrics, closure spaces and digital topology. (English) Zbl 0872.54003 Theor. Comput. Sci. 151, No. 1, 257-276 (1995). MSC: 54A05 68U05 68Q55 03B45 PDFBibTeX XMLCite \textit{M. B. Smyth}, Theor. Comput. Sci. 151, No. 1, 257--276 (1995; Zbl 0872.54003) Full Text: DOI
Ambler, Simon; Kwiatkowska, Marta; Measor, Nicholas Duality and the completeness of the modal \(\mu\)-calculus. (English) Zbl 0872.03010 Theor. Comput. Sci. 151, No. 1, 3-27 (1995). MSC: 03B45 03B70 03G25 68Q55 PDFBibTeX XMLCite \textit{S. Ambler} et al., Theor. Comput. Sci. 151, No. 1, 3--27 (1995; Zbl 0872.03010) Full Text: DOI
Turunen, Esko Algebraic analysis of \(\text{LPC} +\text{Ch}\) calculus. (English) Zbl 0857.03042 Kybernetika 31, No. 1, 99-106 (1995). MSC: 03G25 68T27 PDFBibTeX XMLCite \textit{E. Turunen}, Kybernetika 31, No. 1, 99--106 (1995; Zbl 0857.03042) Full Text: EuDML Link
Gargov, George An approach to uncertainty via sets of truth values. (English) Zbl 0842.03018 Notre Dame J. Formal Logic 36, No. 2, 235-268 (1995). Reviewer: S.Gottwald (Leipzig) MSC: 03B50 68T27 03G25 PDFBibTeX XMLCite \textit{G. Gargov}, Notre Dame J. Formal Logic 36, No. 2, 235--268 (1995; Zbl 0842.03018) Full Text: DOI
Vakarelov, Dimiter A duality between Pawlak’s knowledge representation systems and bi-consequence systems. (English) Zbl 0839.68098 Stud. Log. 55, No. 1, 205-228 (1995). MSC: 68T30 03B45 PDFBibTeX XMLCite \textit{D. Vakarelov}, Stud. Log. 55, No. 1, 205--228 (1995; Zbl 0839.68098) Full Text: DOI
Demri, Stéphane; Orlowska, Ewa; Rewitzky, Ingrid Towards reasoning about Hoare relations. (English) Zbl 0858.68057 Ann. Math. Artif. Intell. 12, No. 3-4, 265-289 (1994). MSC: 68Q55 03B70 PDFBibTeX XMLCite \textit{S. Demri} et al., Ann. Math. Artif. Intell. 12, No. 3--4, 265--289 (1994; Zbl 0858.68057) Full Text: DOI
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C. A compositional semantics for logic programs. (English) Zbl 0801.68110 Theor. Comput. Sci. 122, No. 1-2, 3-47 (1994). MSC: 68Q55 68N17 68Q60 PDFBibTeX XMLCite \textit{A. Bossi} et al., Theor. Comput. Sci. 122, No. 1--2, 3--47 (1994; Zbl 0801.68110) 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 PDFBibTeX XMLCite \textit{B. Konikowska}, J. Appl. Non-Class. Log. 3, No. 1, 39--71 (1993; Zbl 0802.03028) Full Text: DOI
Skurczyński, Jerzy The Borel hierarchy is infinite in the class of regular sets of trees. (English) Zbl 0771.68077 Theor. Comput. Sci. 112, No. 2, 413-418 (1993). MSC: 68Q45 03E15 54H05 PDFBibTeX XMLCite \textit{J. Skurczyński}, Theor. Comput. Sci. 112, No. 2, 413--418 (1993; Zbl 0771.68077) Full Text: DOI
Ostasiewicz, Walenty Half a century of fuzzy sets. (English) Zbl 0875.04001 Kybernetika 28, Suppl., 17-20 (1992). MSC: 03-03 03E72 68-03 PDFBibTeX XMLCite \textit{W. Ostasiewicz}, Kybernetika 28, 17--20 (1992; Zbl 0875.04001) Full Text: EuDML Link
Szalas, Andrzej Axiomatizing fixpoint logics. (English) Zbl 0749.68051 Inf. Process. Lett. 41, No. 4, 175-180 (1992). Reviewer: R.Horsch (Markdorf) MSC: 68Q55 03B70 PDFBibTeX XMLCite \textit{A. Szalas}, Inf. Process. Lett. 41, No. 4, 175--180 (1992; Zbl 0749.68051) Full Text: DOI
Pais, John; Peterson, Gerald E. Using forcing to prove completeness of resolution and paramodulation. (English) Zbl 0723.68093 J. Symb. Comput. 11, No. 1-2, 3-19 (1991). MSC: 68T15 68Q42 PDFBibTeX XMLCite \textit{J. Pais} and \textit{G. E. Peterson}, J. Symb. Comput. 11, No. 1--2, 3--19 (1991; Zbl 0723.68093) Full Text: DOI
De Jongh, Dick; Hendriks, Lex; Renardel de Lavalette, Gerard R. Computations in fragments of intuitionistic propositional logic. (English) Zbl 0743.03007 J. Autom. Reasoning 7, No. 4, 537-561 (1991). MSC: 03B20 03-04 03B35 68T15 PDFBibTeX XMLCite \textit{D. De Jongh} et al., J. Autom. Reasoning 7, No. 4, 537--561 (1991; Zbl 0743.03007) Full Text: DOI
Rasiowa, Helena Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. (English) Zbl 0738.68073 Int. J. Approx. Reasoning 5, No. 4, 415-432 (1991). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{H. Rasiowa}, Int. J. Approx. Reasoning 5, No. 4, 415--432 (1991; Zbl 0738.68073) Full Text: DOI
Gargov, George; Passy, Solomon Determinism and looping in combinatory PDL. (English) Zbl 0709.68581 Theor. Comput. Sci. 61, No. 2-3, 259-277 (1988). MSC: 68-XX PDFBibTeX XMLCite \textit{G. Gargov} and \textit{S. Passy}, Theor. Comput. Sci. 61, No. 2--3, 259--277 (1988; Zbl 0709.68581) Full Text: DOI
Padawitz, Peter The equational theory of parameterized specifications. (English) Zbl 0658.68021 Inf. Comput. 76, No. 2-3, 121-137 (1988). Reviewer: H.Ehrig MSC: 68P05 03C05 PDFBibTeX XMLCite \textit{P. Padawitz}, Inf. Comput. 76, No. 2--3, 121--137 (1988; Zbl 0658.68021) Full Text: DOI
Orlowska, Ewa Proof system for weakest prespecification. (English) Zbl 0647.68108 Inf. Process. Lett. 27, No. 6, 309-313 (1988). MSC: 68P20 03B45 68P05 68Q65 PDFBibTeX XMLCite \textit{E. Orlowska}, Inf. Process. Lett. 27, No. 6, 309--313 (1988; Zbl 0647.68108) Full Text: DOI
Marek, W. A natural semantics for modal logic over databases. (English) Zbl 0645.03015 Theor. Comput. Sci. 56, No. 2, 187-209 (1988). Reviewer: E.Knuth MSC: 03B45 68P05 68Q65 68P20 03C25 PDFBibTeX XMLCite \textit{W. Marek}, Theor. Comput. Sci. 56, No. 2, 187--209 (1988; Zbl 0645.03015) Full Text: DOI
Szalas, Andrzej A complete axiomatic characterization of first-order temporal logic of linear time. (English) Zbl 0645.03020 Theor. Comput. Sci. 54, 199-214 (1987). Reviewer: C.Masalagiu MSC: 03B70 03B45 68Q60 PDFBibTeX XMLCite \textit{A. Szalas}, Theor. Comput. Sci. 54, 199--214 (1987; Zbl 0645.03020) Full Text: DOI
Dańko, Wiktor First-order approximation of algorithmic theories. (English) Zbl 0632.68036 Theor. Comput. Sci. 48, 257-272 (1986). Reviewer: J.-J.Ch.Meyer MSC: 68Q65 03B70 03C07 PDFBibTeX XMLCite \textit{W. Dańko}, Theor. Comput. Sci. 48, 257--272 (1986; Zbl 0632.68036) Full Text: DOI
Mascari, Gianfranco; Venturini Zilli, Marisa While-programs with nondeterministic assignments and the logic ALNA. (English) Zbl 0603.68032 Theor. Comput. Sci. 40, 211-235 (1985). MSC: 68Q65 03B70 68Q60 PDFBibTeX XMLCite \textit{G. Mascari} and \textit{M. Venturini Zilli}, Theor. Comput. Sci. 40, 211--235 (1985; Zbl 0603.68032) Full Text: DOI
Wasilewska, Anita Programs and logics. (English) Zbl 0584.03009 Stud. Log. 44, 125-137 (1985). Reviewer: J.-J.Ch.Meyer MSC: 03B35 68Q65 68Q60 68W99 PDFBibTeX XMLCite \textit{A. Wasilewska}, Stud. Log. 44, 125--137 (1985; Zbl 0584.03009) Full Text: DOI
Passy, Solomon; Tinchev, Tinko PDL with data constants. (English) Zbl 0577.68046 Inf. Process. Lett. 20, 35-41 (1985). Reviewer: H.Nishimura MSC: 68Q65 68Q60 PDFBibTeX XMLCite \textit{S. Passy} and \textit{T. Tinchev}, Inf. Process. Lett. 20, 35--41 (1985; Zbl 0577.68046) Full Text: DOI
Orłowska, Ewa; Pawlak, Zdzisław Representation of nondeterministic information. (English) Zbl 0537.68098 Theor. Comput. Sci. 30, 27-39 (1984). Reviewer: A.Kondrat’ev MSC: 68P20 68Q65 03B45 PDFBibTeX XMLCite \textit{E. Orłowska} and \textit{Z. Pawlak}, Theor. Comput. Sci. 30, 27--39 (1984; Zbl 0537.68098) Full Text: DOI
Jankowski, Andrzej; Rauszer, Cecylia Logical foundation approach to users’ domain restriction in data bases. (English) Zbl 0529.68072 Theor. Comput. Sci. 23, 11-36 (1983). MSC: 68P20 68P05 68Q65 PDFBibTeX XMLCite \textit{A. Jankowski} and \textit{C. Rauszer}, Theor. Comput. Sci. 23, 11--36 (1983; Zbl 0529.68072) Full Text: DOI
Bergstra, J. A.; Meyer, J.-J. Ch. On the elimination of iteration quantifiers in a fragment of algorithmic logic. (English) Zbl 0507.03008 Theor. Comput. Sci. 21, 269-279 (1982). MSC: 03B45 03B60 68Q65 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. J. Ch. Meyer}, Theor. Comput. Sci. 21, 269--279 (1982; Zbl 0507.03008) Full Text: DOI Link
Ras, Zbigniew W. An algebraic approach to information retrieval systems. (English) Zbl 0495.68085 Int. J. Comput. Inform. Sci. 11, 275-293 (1982). MSC: 68P20 PDFBibTeX XMLCite \textit{Z. W. Ras}, Int. J. Comput. Inform. Sci. 11, 275--293 (1982; Zbl 0495.68085) Full Text: DOI
Rasiowa, Helena On logic of complex algorithms. (English) Zbl 0479.68037 Stud. Log. 40, 289-310 (1981). MSC: 68W99 68N01 03B60 03B50 68Q65 PDFBibTeX XMLCite \textit{H. Rasiowa}, Stud. Log. 40, 289--310 (1981; Zbl 0479.68037) Full Text: DOI