Gerassimov, Ognyan Modal logic for 3D incidence geometry. (English) Zbl 1474.03075 God. Sofiĭ. Univ., Fak. Mat. Inform. 99, 37-67 (2009). MSC: 03B45 51A05 PDFBibTeX XMLCite \textit{O. Gerassimov}, God. Sofiĭ. Univ., Fak. Mat. Inform. 99, 37--67 (2009; Zbl 1474.03075) Full Text: Link
Torrini, Paolo; Heckel, Reiko Towards an embedding of graph transformation in intuitionistic linear logic. (English) Zbl 1454.68083 Bonchi, Filippo (ed.) et al., Structured interactions. Proceedings of the 2nd workshop on interaction and concurrency experience, ICE’09, Bologna, Italy, August 31, 2009. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 12, 99-115 (2009). MSC: 68Q85 03F52 68Q42 PDFBibTeX XMLCite \textit{P. Torrini} and \textit{R. Heckel}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 12, 99--115 (2009; Zbl 1454.68083) Full Text: Link
Al-Rabadi, Anas N. Game reversibility in decision space and error-control coding. (English) Zbl 1368.91039 Int. J. Math. Game Theory Algebra 18, No. 2, 121-144 (2009). MSC: 91A28 94B05 PDFBibTeX XMLCite \textit{A. N. Al-Rabadi}, Int. J. Math. Game Theory Algebra 18, No. 2, 121--144 (2009; Zbl 1368.91039)
Kumar, Rahul; Mercer, Eric G.; Bunker, Annette Improving translation of live sequence charts to temporal logic. (English) Zbl 1339.68168 Goldsmith, Michael (ed.) et al., Proceedings of the 7th international workshop on automated verification of critical systems (AVoCS 2007), Oxford, UK, September 10–12, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 1, 137-152 (2009). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{R. Kumar} et al., Electron. Notes Theor. Comput. Sci. 250, No. 1, 137--152 (2009; Zbl 1339.68168) Full Text: DOI
Hirschowitz, André; Hirschowitz, Michel; Hirschowitz, Tom Contraction-free proofs and finitary games for linear logic. (English) Zbl 1337.03088 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 287-305 (2009). MSC: 03F52 03F05 PDFBibTeX XMLCite \textit{A. Hirschowitz} et al., Electron. Notes Theor. Comput. Sci. 249, 287--305 (2009; Zbl 1337.03088) Full Text: DOI arXiv
Dal Lago, Ugo Context semantics, linear logic, and computational complexity. (English) Zbl 1351.03061 ACM Trans. Comput. Log. 10, No. 4, Article No. 25, 32 p. (2009). MSC: 03F52 03D15 03F20 PDFBibTeX XMLCite \textit{U. Dal Lago}, ACM Trans. Comput. Log. 10, No. 4, Article No. 25, 32 p. (2009; Zbl 1351.03061) Full Text: DOI arXiv
Guerrini, Stefano; Masini, Andrea Proofs, tests and continuation passing style. (English) Zbl 1351.68058 ACM Trans. Comput. Log. 10, No. 2, Article No. 12, 34 p. (2009). MSC: 68N18 03B20 03B40 03B70 03F52 PDFBibTeX XMLCite \textit{S. Guerrini} and \textit{A. Masini}, ACM Trans. Comput. Log. 10, No. 2, Article No. 12, 34 p. (2009; Zbl 1351.68058) Full Text: DOI
Dal Lago, Ugo The geometry of linear higher-order recursion. (English) Zbl 1351.03060 ACM Trans. Comput. Log. 10, No. 2, Article No. 8, 38 p. (2009). MSC: 03F52 03B40 03D15 03D20 PDFBibTeX XMLCite \textit{U. Dal Lago}, ACM Trans. Comput. Log. 10, No. 2, Article No. 8, 38 p. (2009; Zbl 1351.03060) Full Text: DOI arXiv
Montagu, Benoît; Rémy, Didier Modeling abstract types in modules with open existential types. (English) Zbl 1315.68103 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 354-365 (2009). MSC: 68N30 03B70 68N18 PDFBibTeX XMLCite \textit{B. Montagu} and \textit{D. Rémy}, in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '09, Savannah, GA, USA, January 18--24, 2009. New York, NY: Association for Computing Machinery (ACM). 354--365 (2009; Zbl 1315.68103) Full Text: DOI
Bauland, Michael; Mundhenk, Martin; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert The tractability of model-checking for LTL: the good, the bad, and the ugly fragments. (English) Zbl 1347.68217 Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 277-292 (2009). MSC: 68Q60 03B44 68Q17 68Q25 PDFBibTeX XMLCite \textit{M. Bauland} et al., Electron. Notes Theor. Comput. Sci. 231, 277--292 (2009; Zbl 1347.68217) Full Text: DOI
Křetínský, Mojmír; Řehák, Vojtěch; Strejček, Jan On decidability of LTL+past model checking for process rewrite systems. (English) Zbl 1347.68230 Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 105-117 (2009). MSC: 68Q60 03B25 03B44 68Q42 68Q85 PDFBibTeX XMLCite \textit{M. Křetínský} et al., Electron. Notes Theor. Comput. Sci. 239, 105--117 (2009; Zbl 1347.68230) Full Text: DOI
Kuznetsov, S. L. Lambek calculus with one division and one primitive type permitting empty antecedents. (English. Russian original) Zbl 1304.03054 Mosc. Univ. Math. Bull. 64, No. 2, 76-79 (2009); translation from Vest. Mosk. Univ. Mat. Mekh. 64, No. 2, 62-65 (2009). MSC: 03B47 PDFBibTeX XMLCite \textit{S. L. Kuznetsov}, Mosc. Univ. Math. Bull. 64, No. 2, 76--79 (2009; Zbl 1304.03054); translation from Vest. Mosk. Univ. Mat. Mekh. 64, No. 2, 62--65 (2009) Full Text: DOI
Savateev, Yu. V. Recognition of derivability for the Lambek calculus with one division. (English. Russian original) Zbl 1304.03055 Mosc. Univ. Math. Bull. 64, No. 2, 73-75 (2009); translation from Vest. Mosk. Univ. Mat. Mekh. 64, No. 2, 59-62 (2009). MSC: 03B47 03D15 PDFBibTeX XMLCite \textit{Yu. V. Savateev}, Mosc. Univ. Math. Bull. 64, No. 2, 73--75 (2009; Zbl 1304.03055); translation from Vest. Mosk. Univ. Mat. Mekh. 64, No. 2, 59--62 (2009) Full Text: DOI
Fernández, Maribel; Siafakas, Nikolaos New developments in environment machines. (English) Zbl 1294.03020 Middeldorp, Aart (ed.), Proceedings of the 8th international workshop on reduction strategies in rewriting and programming (WRS 2008), Castle of Hagenberg, Austria, July 14, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 237, 57-73 (2009). MSC: 03B70 03B40 03F52 PDFBibTeX XMLCite \textit{M. Fernández} and \textit{N. Siafakas}, Electron. Notes Theor. Comput. Sci. 237, 57--73 (2009; Zbl 1294.03020) Full Text: DOI
Robles, Gemma; Méndez, José M. The basic constructive logic for weak consistency and the reductio axioms. (English) Zbl 1286.03086 Bull. Sect. Log., Univ. Łódź, Dep. Log. 38, No. 1-2, 61-76 (2009). MSC: 03B47 PDFBibTeX XMLCite \textit{G. Robles} and \textit{J. M. Méndez}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 38, No. 1--2, 61--76 (2009; Zbl 1286.03086) Full Text: Link
Metcalfe, George A sequent calculus for constructive logic with strong negation as a substructural logic. (English) Zbl 1286.03154 Bull. Sect. Log., Univ. Łódź, Dep. Log. 38, No. 1-2, 5-11 (2009). MSC: 03F07 03B47 PDFBibTeX XMLCite \textit{G. Metcalfe}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 38, No. 1--2, 5--11 (2009; Zbl 1286.03154) Full Text: Link
Tusset, Angelo Marcelo; Rafikov, Marat; Balthazar, José Manoel An intelligent controller design for magnetorheological damper based on a quarter-car model. (English) Zbl 1273.70064 J. Vib. Control 15, No. 12, 1907-1920 (2009). MSC: 70Q05 93B52 PDFBibTeX XMLCite \textit{A. M. Tusset} et al., J. Vib. Control 15, No. 12, 1907--1920 (2009; Zbl 1273.70064) Full Text: DOI
Ma, Jue; Zhao, Bin Par operation and its properties of dual quantales. (Chinese. English summary) Zbl 1264.06026 Fuzzy Syst. Math. 23, No. 2, 52-58 (2009). MSC: 06F07 03B47 PDFBibTeX XMLCite \textit{J. Ma} and \textit{B. Zhao}, Fuzzy Syst. Math. 23, No. 2, 52--58 (2009; Zbl 1264.06026)
Sequoiah-Grayson, Sebastian A procedural interpretation of split negation. (English) Zbl 1275.03094 Peliš, Michal (ed.), The Logica yearbook 2008. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2008. London: College Publications (ISBN 978-1-904987-46-8/pbk). 211-221 (2009). MSC: 03B47 PDFBibTeX XMLCite \textit{S. Sequoiah-Grayson}, in: The Logica yearbook 2008. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16--20, 2008. London: College Publications. 211--221 (2009; Zbl 1275.03094)
Majer, Ondrej; Peliš, Michal Epistemic logic with relevant agents. (English) Zbl 1275.03084 Peliš, Michal (ed.), The Logica yearbook 2008. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2008. London: College Publications (ISBN 978-1-904987-46-8/pbk). 123-135 (2009). MSC: 03B42 03B47 PDFBibTeX XMLCite \textit{O. Majer} and \textit{M. Peliš}, in: The Logica yearbook 2008. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16--20, 2008. London: College Publications. 123--135 (2009; Zbl 1275.03084)
Běhounek, Libor Fuzzy logics interpreted as logics of resources. (English) Zbl 1261.03098 Peliš, Michal (ed.), The Logica yearbook 2008. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2008. London: College Publications (ISBN 978-1-904987-46-8/pbk). 1-13 (2009). MSC: 03B52 03B47 PDFBibTeX XMLCite \textit{L. Běhounek}, in: The Logica yearbook 2008. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16--20, 2008. London: College Publications. 1--13 (2009; Zbl 1261.03098)
Bimbó, Katalin; Dunn, J. Michael Symmetric generalized Galois logics. (English) Zbl 1255.03033 Log. Univers. 3, No. 1, 125-152 (2009). MSC: 03B47 03C30 PDFBibTeX XMLCite \textit{K. Bimbó} and \textit{J. M. Dunn}, Log. Univers. 3, No. 1, 125--152 (2009; Zbl 1255.03033) Full Text: DOI
Cristau, Julien Automata and temporal logic over arbitrary linear time. (English) Zbl 1248.68293 Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 133-144, electronic only (2009). MSC: 68Q45 03D05 03B44 PDFBibTeX XMLCite \textit{J. Cristau}, LIPIcs -- Leibniz Int. Proc. Inform. 4, 133--144 (2009; Zbl 1248.68293) Full Text: DOI Link
Ali, M. Syed; Balasubramaniam, P. Stability analysis of uncertain fuzzy Hopfield neural networks with time delays. (English) Zbl 1221.34191 Commun. Nonlinear Sci. Numer. Simul. 14, No. 6, 2776-2783 (2009). MSC: 34K20 92B20 34K50 94D05 PDFBibTeX XMLCite \textit{M. S. Ali} and \textit{P. Balasubramaniam}, Commun. Nonlinear Sci. Numer. Simul. 14, No. 6, 2776--2783 (2009; Zbl 1221.34191) Full Text: DOI
Roodbari, T.; Torkzadeh, L.; Zahedi, M. M. Simple hyper BCK-algebras. (English) Zbl 1225.06015 Ital. J. Pure Appl. Math. 26, 109-122 (2009). MSC: 06F35 03B47 03G25 PDFBibTeX XMLCite \textit{T. Roodbari} et al., Ital. J. Pure Appl. Math. 26, 109--122 (2009; Zbl 1225.06015)
Melliès, Paul-André Categorical semantics of linear logic. (English. French summary) Zbl 1206.03052 Curien, Pierre-Louis et al., Interactive models of computation and program behavior. Paris: Société Mathématique de France (SMF) (ISBN 978-2-85629-273-0/pbk). Panoramas et Synthèses 27, 1-196 (2009). MSC: 03F52 03F05 03G30 PDFBibTeX XMLCite \textit{P.-A. Melliès}, Panor. Synth. 27, 1--196 (2009; Zbl 1206.03052)
Tian, Cong; Duan, Zhenhua A note on stutter-invariant PLTL. (English) Zbl 1214.03015 Inf. Process. Lett. 109, No. 13, 663-667 (2009). MSC: 03B44 68Q60 PDFBibTeX XMLCite \textit{C. Tian} and \textit{Z. Duan}, Inf. Process. Lett. 109, No. 13, 663--667 (2009; Zbl 1214.03015) Full Text: DOI
Zaĭtsev, D. V. Intuitionistic semantics of relevant consequence relation. (Russian. English summary) Zbl 1195.03026 Logicheskie Issled. 15, 106-115 (2009). MSC: 03B47 PDFBibTeX XMLCite \textit{D. V. Zaĭtsev}, in: Logicheskie issledovaniya. 15. Moskva: Nauka. 106--115 (2009; Zbl 1195.03026)
Curien, Pierre-Louis; Herbelin, Hugo; Krivine, Jean-Louis; Melliès, Paul-André Interactive models of computation and program behavior. (English) Zbl 1205.03045 Panoramas et Synthèses 27. Paris: Société Mathématique de France (SMF) (ISBN 978-2-85629-273-0/pbk). xvi, 275 p. (2009). Reviewer: Valentin F. Goranko (Johannesburg) MSC: 03B70 03-02 68-02 03B40 03F52 03G30 18C50 68N18 68N30 68Q05 68Q55 PDFBibTeX XMLCite \textit{P.-L. Curien} et al., Interactive models of computation and program behavior. Paris: Société Mathématique de France (SMF) (2009; Zbl 1205.03045)
Lee, Gyoungwoo; Surendran, S.; Kim, Sang-Hyun Algorithms to control the moving ship during harbour entry. (English) Zbl 1185.93099 Appl. Math. Modelling 33, No. 5, 2474-2490 (2009). MSC: 93C95 93C42 PDFBibTeX XMLCite \textit{G. Lee} et al., Appl. Math. Modelling 33, No. 5, 2474--2490 (2009; Zbl 1185.93099) Full Text: DOI
Afonin, A. O. On resolution strategies with weak factorization. (Ukrainian. English summary) Zbl 1199.68362 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2009, No. 4, 69-72 (2009). MSC: 68T27 PDFBibTeX XMLCite \textit{A. O. Afonin}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2009, No. 4, 69--72 (2009; Zbl 1199.68362)
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. Cartesian differential categories. (English) Zbl 1262.18004 Theory Appl. Categ. 22, 622-672 (2009). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18D10 18C20 12H05 32W99 03F52 PDFBibTeX XMLCite \textit{R. F. Blute} et al., Theory Appl. Categ. 22, 622--672 (2009; Zbl 1262.18004) Full Text: EMIS
Yang, Eunsuk (Star-based) four-valued Kripke-style semantics for some neighbors of E, R, T. (English) Zbl 1191.03016 Log. Anal., Nouv. Sér. 52, No. 207, 255-280 (2009). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B47 03B53 PDFBibTeX XMLCite \textit{E. Yang}, Log. Anal., Nouv. Sér. 52, No. 207, 255--280 (2009; Zbl 1191.03016)
Robles, Gemma Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective. (English) Zbl 1227.03027 J. Appl. Non-Class. Log. 19, No. 3, 371-388 (2009). MSC: 03B47 PDFBibTeX XMLCite \textit{G. Robles}, J. Appl. Non-Class. Log. 19, No. 3, 371--388 (2009; Zbl 1227.03027) Full Text: DOI
Skura, Tomasz The RM paraconsistent refutation system. (English) Zbl 1191.03020 Log. Log. Philos. 18, No. 1, 65-70 (2009). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B53 03B47 PDFBibTeX XMLCite \textit{T. Skura}, Log. Log. Philos. 18, No. 1, 65--70 (2009; Zbl 1191.03020) Full Text: DOI
Moortgat, Michael Symmetric categorial grammar. (English) Zbl 1197.03022 J. Philos. Log. 38, No. 6, 681-710 (2009). MSC: 03B47 03B40 03B65 PDFBibTeX XMLCite \textit{M. Moortgat}, J. Philos. Log. 38, No. 6, 681--710 (2009; Zbl 1197.03022) Full Text: DOI
Vernitski, Alexei One-side Nielsen transformations in free groups. (English) Zbl 1189.20027 Int. J. Algebra Comput. 19, No. 7, 855-871 (2009). Reviewer: Stylianos Andreadakis (Athens) MSC: 20E05 20F10 05C25 68R15 PDFBibTeX XMLCite \textit{A. Vernitski}, Int. J. Algebra Comput. 19, No. 7, 855--871 (2009; Zbl 1189.20027) Full Text: DOI
Demri, Stéphane; Gascon, Régis The effects of bounding syntactic resources on Presburger LTL. (English) Zbl 1193.03033 J. Log. Comput. 19, No. 6, 1541-1575 (2009). MSC: 03B44 03B25 03D05 68Q60 PDFBibTeX XMLCite \textit{S. Demri} and \textit{R. Gascon}, J. Log. Comput. 19, No. 6, 1541--1575 (2009; Zbl 1193.03033) Full Text: DOI
Collinson, Matthew; Monahan, Brian; Pym, David A logical and computational theory of located resource. (English) Zbl 1185.68440 J. Log. Comput. 19, No. 6, 1207-1244 (2009). MSC: 68Q85 03B47 03B70 PDFBibTeX XMLCite \textit{M. Collinson} et al., J. Log. Comput. 19, No. 6, 1207--1244 (2009; Zbl 1185.68440) Full Text: DOI Link
Bou, Félix; Esteva, Francesc; Font, Josep Maria; Gil, Àngel J.; Godo, Lluís; Torrens, Antoni; Verdú, Ventura Logics preserving degrees of truth from varieties of residuated lattices. (English) Zbl 1197.03023 J. Log. Comput. 19, No. 6, 1031-1069 (2009); corrigendum ibid. 22, No. 3, 661-665 (2012). MSC: 03B50 03B47 03G27 06F05 PDFBibTeX XMLCite \textit{F. Bou} et al., J. Log. Comput. 19, No. 6, 1031--1069 (2009; Zbl 1197.03023) Full Text: DOI arXiv
Rybakov, Vladimir Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents. (English) Zbl 1208.03023 J. Log. Comput. 19, No. 6, 989-1017 (2009). Reviewer: Andreas Herzig (Toulouse) MSC: 03B44 03B42 03B45 68T27 PDFBibTeX XMLCite \textit{V. Rybakov}, J. Log. Comput. 19, No. 6, 989--1017 (2009; Zbl 1208.03023) Full Text: DOI
Bunder, M. W.; Rizkalla, R. M. Proof-finding algorithms for classical and subclassical propositional logics. (English) Zbl 1202.03024 Notre Dame J. Formal Logic 50, No. 3, 261-273 (2009). Reviewer: Viorica Sofronie-Stokkermans (Saarbrücken) MSC: 03B35 03B20 03B40 03B47 PDFBibTeX XMLCite \textit{M. W. Bunder} and \textit{R. M. Rizkalla}, Notre Dame J. Formal Logic 50, No. 3, 261--273 (2009; Zbl 1202.03024) Full Text: DOI
Sequoiah-Grayson, Sebastian Mono-agent dynamics. (English) Zbl 1196.68289 He, Xiangdong (ed.) et al., Logic, rationality, and interaction. Second international workshop, LORI 2009, Chongqing, China, October 8–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04892-0/pbk). Lecture Notes in Computer Science 5834. Lecture Notes in Artificial Intelligence, 321-322 (2009). MSC: 68T42 03B47 68T27 PDFBibTeX XMLCite \textit{S. Sequoiah-Grayson}, Lect. Notes Comput. Sci. 5834, 321--322 (2009; Zbl 1196.68289) Full Text: DOI
Hsieh, Ai-ni; Raftery, James G. Semiconic idempotent residuated structures. (English) Zbl 1196.06009 Algebra Univers. 61, No. 3-4, 413-430 (2009). Reviewer: Florentina Chirteş (Craiova) MSC: 06F05 03B47 03G25 08A50 08C15 PDFBibTeX XMLCite \textit{A.-n. Hsieh} and \textit{J. G. Raftery}, Algebra Univers. 61, No. 3--4, 413--430 (2009; Zbl 1196.06009) Full Text: DOI
Baelde, David On the proof theory of regular fixed points. (English) Zbl 1260.03108 Giese, Martin (ed.) et al., Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02715-4/pbk). Lecture Notes in Computer Science 5607. Lecture Notes in Artificial Intelligence, 93-107 (2009). MSC: 03F07 03B35 03D05 03F52 PDFBibTeX XMLCite \textit{D. Baelde}, Lect. Notes Comput. Sci. 5607, 93--107 (2009; Zbl 1260.03108) Full Text: DOI HAL
Kahramanoğulları, Ozan On linear logic planning and concurrency. (English) Zbl 1192.68644 Inf. Comput. 207, No. 11, 1229-1258 (2009). MSC: 68T20 68Q85 PDFBibTeX XMLCite \textit{O. Kahramanoğulları}, Inf. Comput. 207, No. 11, 1229--1258 (2009; Zbl 1192.68644) Full Text: DOI
Laurent, Olivier On the categorical semantics of elementary linear logic. (English) Zbl 1201.18003 Theory Appl. Categ. 22, 269-301 (2009). Reviewer: Manuel Ojeda Aciego (Málaga) MSC: 18C50 68Q55 03B70 PDFBibTeX XMLCite \textit{O. Laurent}, Theory Appl. Categ. 22, 269--301 (2009; Zbl 1201.18003) Full Text: EuDML EMIS
Cintula, Petr; Metcalfe, George Structural completeness in fuzzy logics. (English) Zbl 1190.03027 Notre Dame J. Formal Logic 50, No. 2, 153-182 (2009). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B52 03B22 03B47 03B50 PDFBibTeX XMLCite \textit{P. Cintula} and \textit{G. Metcalfe}, Notre Dame J. Formal Logic 50, No. 2, 153--182 (2009; Zbl 1190.03027) Full Text: DOI
Bimbó, Katalin Dual gaggle semantics for entailment. (English) Zbl 1190.03024 Notre Dame J. Formal Logic 50, No. 1, 23-41 (2009). MSC: 03B47 03F05 18C50 PDFBibTeX XMLCite \textit{K. Bimbó}, Notre Dame J. Formal Logic 50, No. 1, 23--41 (2009; Zbl 1190.03024) Full Text: DOI
Dong, Jiuxiang; Yang, Guang-Hong Dynamic output feedback \(H_\infty\) control synthesis for discrete-time T-S fuzzy systems via switching fuzzy controllers. (English) Zbl 1175.93122 Fuzzy Sets Syst. 160, No. 4, 482-499 (2009). MSC: 93C42 93B36 15A39 PDFBibTeX XMLCite \textit{J. Dong} and \textit{G.-H. Yang}, Fuzzy Sets Syst. 160, No. 4, 482--499 (2009; Zbl 1175.93122) Full Text: DOI
Gaboardi, Marco; Ronchi Della Rocca, Simona From light logics to type assignments: a case study. (English) Zbl 1182.03066 Log. J. IGPL 17, No. 5, 499-530 (2009). MSC: 03B70 03B40 03D15 03F52 PDFBibTeX XMLCite \textit{M. Gaboardi} and \textit{S. Ronchi Della Rocca}, Log. J. IGPL 17, No. 5, 499--530 (2009; Zbl 1182.03066) Full Text: DOI
Brady, Ross; Rush, Penelope Four basic logical issues. (English) Zbl 1186.03007 Rev. Symb. Log. 2, No. 3, 488-508 (2009). Reviewer: Louis F. Goble (Salem) MSC: 03A05 03B47 PDFBibTeX XMLCite \textit{R. Brady} and \textit{P. Rush}, Rev. Symb. Log. 2, No. 3, 488--508 (2009; Zbl 1186.03007) Full Text: DOI
Tranquilli, Paolo Confluence of pure differential nets with promotion. (English) Zbl 1257.03085 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 500-514 (2009). MSC: 03F07 03F05 03F52 PDFBibTeX XMLCite \textit{P. Tranquilli}, Lect. Notes Comput. Sci. 5771, 500--514 (2009; Zbl 1257.03085) Full Text: DOI
Tatsuta, Makoto Non-commutative first-order sequent calculus. (English) Zbl 1257.03049 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 470-484 (2009). MSC: 03B47 PDFBibTeX XMLCite \textit{M. Tatsuta}, Lect. Notes Comput. Sci. 5771, 470--484 (2009; Zbl 1257.03049) Full Text: DOI
Munch-Maccagnoni, Guillaume Focalisation and classical realisability. (English) Zbl 1257.03055 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 409-423 (2009). MSC: 03B70 03B40 03F52 68N15 68N30 PDFBibTeX XMLCite \textit{G. Munch-Maccagnoni}, Lect. Notes Comput. Sci. 5771, 409--423 (2009; Zbl 1257.03055) Full Text: DOI
Guo, Heng; Wang, Hanpin; Xu, Zhongyuan; Cao, Yongzhi On model checking Boolean BI. (English) Zbl 1257.03048 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 302-316 (2009). MSC: 03B47 03B25 03B70 68Q17 68Q60 PDFBibTeX XMLCite \textit{H. Guo} et al., Lect. Notes Comput. Sci. 5771, 302--316 (2009; Zbl 1257.03048) Full Text: DOI Link
Gheerbrant, Amélie; ten Cate, Balder Craig interpolation for linear temporal languages. (English) Zbl 1257.03042 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 287-301 (2009). MSC: 03B44 03C40 PDFBibTeX XMLCite \textit{A. Gheerbrant} and \textit{B. ten Cate}, Lect. Notes Comput. Sci. 5771, 287--301 (2009; Zbl 1257.03042) Full Text: DOI
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex Enriching an effect calculus with linear types. (English) Zbl 1257.03053 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 240-254 (2009). MSC: 03B70 03F52 18C50 PDFBibTeX XMLCite \textit{J. Egger} et al., Lect. Notes Comput. Sci. 5771, 240--254 (2009; Zbl 1257.03053) Full Text: DOI Link
Ciabattoni, Agata; Straßburger, Lutz; Terui, Kazushige Expanding the realm of systematic proof theory. (English) Zbl 1257.03084 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 163-178 (2009). MSC: 03F03 03F52 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Lect. Notes Comput. Sci. 5771, 163--178 (2009; Zbl 1257.03084) Full Text: DOI
Ferreira, Gilda; Oliva, Paulo Functional interpretations of intuitionistic linear logic. (English) Zbl 1193.03080 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 3-19 (2009). MSC: 03F07 03F10 03F25 03B20 03F52 PDFBibTeX XMLCite \textit{G. Ferreira} and \textit{P. Oliva}, Lect. Notes Comput. Sci. 5771, 3--19 (2009; Zbl 1193.03080) Full Text: DOI arXiv
Bulińska, Maria On the complexity of nonassociative Lambek calculus with unit. (English) Zbl 1182.03041 Stud. Log. 93, No. 1, 1-14 (2009). MSC: 03B47 03B25 03D15 68Q25 68Q42 PDFBibTeX XMLCite \textit{M. Bulińska}, Stud. Log. 93, No. 1, 1--14 (2009; Zbl 1182.03041) Full Text: DOI
Ono, Hiroakira Glivenko theorems revisited. (English) Zbl 1181.03021 Ann. Pure Appl. Logic 161, No. 2, 246-250 (2009). Reviewer: G. E. Mints (Stanford) MSC: 03B47 03F52 PDFBibTeX XMLCite \textit{H. Ono}, Ann. Pure Appl. Logic 161, No. 2, 246--250 (2009; Zbl 1181.03021) Full Text: DOI
Cignoli, Roberto; Esteva, Francesc Commutative integral bounded residuated lattices with an added involution. (English) Zbl 1181.03061 Ann. Pure Appl. Logic 161, No. 2, 150-160 (2009). Reviewer: Dana Piciu (Craiova) MSC: 03G25 03B47 03B52 06F05 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{F. Esteva}, Ann. Pure Appl. Logic 161, No. 2, 150--160 (2009; Zbl 1181.03061) Full Text: DOI Link
Chang, Wen-Jer; Ku, Cheung-Chieh; Chang, Wei Fuzzy control with passivity synthesis for continuous affine Takagi-Sugeno fuzzy systems. (English) Zbl 1183.93088 Int. J. Intell. Comput. Cybern. 2, No. 2, 386-408 (2009). MSC: 93C42 93D21 15A39 PDFBibTeX XMLCite \textit{W.-J. Chang} et al., Int. J. Intell. Comput. Cybern. 2, No. 2, 386--408 (2009; Zbl 1183.93088) Full Text: DOI
Gaboardi, Marco; Roversi, Luca; Vercelli, Luca A by-level analysis of multiplicative exponential linear logic. (English) Zbl 1250.03122 Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2009. 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03815-0/pbk). Lecture Notes in Computer Science 5734, 344-355 (2009). MSC: 03F52 PDFBibTeX XMLCite \textit{M. Gaboardi} et al., Lect. Notes Comput. Sci. 5734, 344--355 (2009; Zbl 1250.03122) Full Text: DOI
Fainekos, Georgios E.; Pappas, George J. Robustness of temporal logic specifications for continuous-time signals. (English) Zbl 1186.68287 Theor. Comput. Sci. 410, No. 42, 4262-4291 (2009). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{G. E. Fainekos} and \textit{G. J. Pappas}, Theor. Comput. Sci. 410, No. 42, 4262--4291 (2009; Zbl 1186.68287) Full Text: DOI
Cervesato, Iliano; Scedrov, Andre Relating state-based and process-based concurrency through linear logic (full-version). (English) Zbl 1181.68168 Inf. Comput. 207, No. 10, 1044-1077 (2009). MSC: 68Q85 03B70 03F52 68Q42 PDFBibTeX XMLCite \textit{I. Cervesato} and \textit{A. Scedrov}, Inf. Comput. 207, No. 10, 1044--1077 (2009; Zbl 1181.68168) Full Text: DOI
Asmus, C. M. Restricted arrow. (English) Zbl 1184.03013 J. Philos. Log. 38, No. 4, 405-431 (2009). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 PDFBibTeX XMLCite \textit{C. M. Asmus}, J. Philos. Log. 38, No. 4, 405--431 (2009; Zbl 1184.03013) Full Text: DOI
Goldblatt, Robert Conservativity of Heyting implication over relevant quantification. (English) Zbl 1170.03010 Rev. Symb. Log. 2, No. 2, 310-341 (2009). MSC: 03B47 PDFBibTeX XMLCite \textit{R. Goldblatt}, Rev. Symb. Log. 2, No. 2, 310--341 (2009; Zbl 1170.03010) Full Text: DOI
Alrajeh, D.; Ray, O.; Russo, A.; Uchitel, S. Using abduction and induction for operational requirements elaboration. (English) Zbl 1176.68152 J. Appl. Log. 7, No. 3, 275-288 (2009). MSC: 68T05 68N17 PDFBibTeX XMLCite \textit{D. Alrajeh} et al., J. Appl. Log. 7, No. 3, 275--288 (2009; Zbl 1176.68152) Full Text: DOI
Mares, Edwin D. General information in relevant logic. (English) Zbl 1175.03011 Synthese 167, No. 2, 343-362 (2009). MSC: 03B47 03A05 PDFBibTeX XMLCite \textit{E. D. Mares}, Synthese 167, No. 2, 343--362 (2009; Zbl 1175.03011) Full Text: DOI
Sequoiah-Grayson, Sebastian A positive information logic for inferential information. (English) Zbl 1171.03304 Synthese 167, No. 2, 409-431 (2009). MSC: 03A05 03B47 PDFBibTeX XMLCite \textit{S. Sequoiah-Grayson}, Synthese 167, No. 2, 409--431 (2009; Zbl 1171.03304) Full Text: DOI
de Campos, Cassio Polpo; Cozman, Fabio Gagliardi; Luna, José Eduardo Ochoa Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence. (English) Zbl 1172.03316 J. Appl. Log. 7, No. 2, 137-154 (2009). MSC: 03B48 68T27 68T30 68T37 PDFBibTeX XMLCite \textit{C. P. de Campos} et al., J. Appl. Log. 7, No. 2, 137--154 (2009; Zbl 1172.03316) Full Text: DOI Link
Bimbó, Katalin; Dunn, J. Michael; Maddux, Roger D. Relevance logics and relation algebras. (English) Zbl 1174.03005 Rev. Symb. Log. 2, No. 1, 102-131 (2009). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03G15 PDFBibTeX XMLCite \textit{K. Bimbó} et al., Rev. Symb. Log. 2, No. 1, 102--131 (2009; Zbl 1174.03005) Full Text: DOI
Stickel, Mark E. Building theorem provers. (English) Zbl 1250.68235 Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 306-321 (2009). MSC: 68T15 03B35 03B47 PDFBibTeX XMLCite \textit{M. E. Stickel}, Lect. Notes Comput. Sci. 5663, 306--321 (2009; Zbl 1250.68235) Full Text: DOI
Cockett, J. R. B.; Pastro, Craig The logic of message-passing. (English) Zbl 1175.68105 Sci. Comput. Program. 74, No. 8, 498-533 (2009). MSC: 68N19 03F52 68Q85 PDFBibTeX XMLCite \textit{J. R. B. Cockett} and \textit{C. Pastro}, Sci. Comput. Program. 74, No. 8, 498--533 (2009; Zbl 1175.68105) Full Text: DOI arXiv
Melliès, Paul-André; Tabareau, Nicolas; Tasson, Christine An explicit formula for the free exponential modality of linear logic. (English) Zbl 1248.03080 Albers, Susanne (ed.) et al., Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5–12, 2009. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-02929-5/pbk). Lecture Notes in Computer Science 5556, 247-260 (2009). MSC: 03F52 PDFBibTeX XMLCite \textit{P.-A. Melliès} et al., Lect. Notes Comput. Sci. 5556, 247--260 (2009; Zbl 1248.03080) Full Text: DOI HAL
Rapin, Nicolas Symbolic execution based model checking of open systems with unbounded variables. (English) Zbl 1246.68157 Dubois, Catherine (ed.), Tests and proofs. Third international conference, TAP 2009, Zurich, Switzerland, July 2–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02948-6/pbk). Lecture Notes in Computer Science 5668, 137-152 (2009). MSC: 68Q60 PDFBibTeX XMLCite \textit{N. Rapin}, Lect. Notes Comput. Sci. 5668, 137--152 (2009; Zbl 1246.68157) Full Text: DOI
Vaux, Lionel Differential linear logic and polarization. (English) Zbl 1246.03082 Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 371-385 (2009). MSC: 03F52 03B40 PDFBibTeX XMLCite \textit{L. Vaux}, Lect. Notes Comput. Sci. 5608, 371--385 (2009; Zbl 1246.03082) Full Text: DOI HAL
Tasson, Christine Algebraic totality, towards completeness. (English) Zbl 1246.03081 Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 325-340 (2009). MSC: 03F52 PDFBibTeX XMLCite \textit{C. Tasson}, Lect. Notes Comput. Sci. 5608, 325--340 (2009; Zbl 1246.03081) Full Text: DOI arXiv
Straßburger, Lutz Some observations on the proof theory of second order propositional multiplicative linear logic. (English) Zbl 1246.03080 Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 309-324 (2009). MSC: 03F52 PDFBibTeX XMLCite \textit{L. Straßburger}, Lect. Notes Comput. Sci. 5608, 309--324 (2009; Zbl 1246.03080) Full Text: DOI Link
Pagani, Michele The cut-elimination theorem for differential nets with promotion. (English) Zbl 1246.03079 Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 219-233 (2009). MSC: 03F52 03F05 03F07 PDFBibTeX XMLCite \textit{M. Pagani}, Lect. Notes Comput. Sci. 5608, 219--233 (2009; Zbl 1246.03079) Full Text: DOI
Faggian, Claudia; Piccolo, Mauro Partial orders, event structures and linear strategies. (English) Zbl 1246.03078 Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 95-111 (2009). MSC: 03F52 PDFBibTeX XMLCite \textit{C. Faggian} and \textit{M. Piccolo}, Lect. Notes Comput. Sci. 5608, 95--111 (2009; Zbl 1246.03078) Full Text: DOI
Dal Lago, Ugo; Hofmann, Martin Bounded linear logic, revisited. (English) Zbl 1211.03089 Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 80-94 (2009). MSC: 03F52 PDFBibTeX XMLCite \textit{U. Dal Lago} and \textit{M. Hofmann}, Lect. Notes Comput. Sci. 5608, 80--94 (2009; Zbl 1211.03089) Full Text: DOI
Boudes, Pierre Thick subtrees, games and experiments. (English) Zbl 1246.03077 Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 65-79 (2009). MSC: 03F52 03B70 03F07 PDFBibTeX XMLCite \textit{P. Boudes}, Lect. Notes Comput. Sci. 5608, 65--79 (2009; Zbl 1246.03077) Full Text: DOI
Basaldella, Michele; Terui, Kazushige On the meaning of logical completeness. (English) Zbl 1246.03076 Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 50-64 (2009). MSC: 03F52 03B10 PDFBibTeX XMLCite \textit{M. Basaldella} and \textit{K. Terui}, Lect. Notes Comput. Sci. 5608, 50--64 (2009; Zbl 1246.03076) Full Text: DOI arXiv
Lecomte, Alain; Quatrini, Myriam Ludics and its applications to natural language semantics. (English) Zbl 1246.03053 Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 242-255 (2009). MSC: 03B65 03F52 PDFBibTeX XMLCite \textit{A. Lecomte} and \textit{M. Quatrini}, Lect. Notes Comput. Sci. 5514, 242--255 (2009; Zbl 1246.03053) Full Text: DOI arXiv
Herbelin, Hugo; Lee, Gyesik Forcing-based cut-elimination for Gentzen-style intuitionistic sequent calculus. (English) Zbl 1246.03072 Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 209-217 (2009). MSC: 03F05 03B47 68T15 PDFBibTeX XMLCite \textit{H. Herbelin} and \textit{G. Lee}, Lect. Notes Comput. Sci. 5514, 209--217 (2009; Zbl 1246.03072) Full Text: DOI
Roversi, Luca; Vercelli, Luca Some complexity and expressiveness results on multimodal and stratified proof nets. (English) Zbl 1246.03075 Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 306-322 (2009). MSC: 03F20 03D15 03F07 03F52 PDFBibTeX XMLCite \textit{L. Roversi} and \textit{L. Vercelli}, Lect. Notes Comput. Sci. 5497, 306--322 (2009; Zbl 1246.03075) Full Text: DOI
Waszkiewicz, Paweł On domain theory over Girard quantales. (English) Zbl 1193.06006 Fundam. Inform. 92, No. 1-2, 169-192 (2009). Reviewer: Weng Kin Ho (Singapore) MSC: 06B35 06F07 03B47 PDFBibTeX XMLCite \textit{P. Waszkiewicz}, Fundam. Inform. 92, No. 1--2, 169--192 (2009; Zbl 1193.06006) Full Text: DOI
de Falco, Marc An explicit framework for interaction nets. (English) Zbl 1211.68228 Treinen, Ralf (ed.), Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29–July 1, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02347-7/pbk). Lecture Notes in Computer Science 5595, 209-223 (2009). MSC: 68Q42 03F52 PDFBibTeX XMLCite \textit{M. de Falco}, Lect. Notes Comput. Sci. 5595, 209--223 (2009; Zbl 1211.68228) Full Text: DOI arXiv
Seki, Takahiro Completeness of relevant modal logics with disjunctive rules. (English) Zbl 1170.03011 Rep. Math. Logic 44, 3-18 (2009). MSC: 03B47 03B45 PDFBibTeX XMLCite \textit{T. Seki}, Rep. Math. Logic 44, 3--18 (2009; Zbl 1170.03011)
Restall, Greg; Roy, Tony On permutation in simplified semantics. (English) Zbl 1194.03021 J. Philos. Log. 38, No. 3, 333-341 (2009). MSC: 03B47 PDFBibTeX XMLCite \textit{G. Restall} and \textit{T. Roy}, J. Philos. Log. 38, No. 3, 333--341 (2009; Zbl 1194.03021) Full Text: DOI
Buszkowski, Wojciech; Farulewski, Maciej Nonassociative Lambek calculus with additives and context-free languages. (English) Zbl 1239.03016 Grumberg, Orna (ed.) et al., Languages: From formal to natural. Essays dedicated to Nissim Francez on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-01747-6/pbk). Lecture Notes in Computer Science 5533, 45-58 (2009). MSC: 03B65 03B47 06F05 68Q45 91F20 PDFBibTeX XMLCite \textit{W. Buszkowski} and \textit{M. Farulewski}, Lect. Notes Comput. Sci. 5533, 45--58 (2009; Zbl 1239.03016) Full Text: DOI
Mortensen, Chris Linear algebra representation of Necker cubes. II: The Routley functor and Necker chains. (English) Zbl 1168.03324 Australas. J. Log. 7, 10-25 (2009). MSC: 03B53 03B47 PDFBibTeX XMLCite \textit{C. Mortensen}, Australas. J. Log. 7, 10--25 (2009; Zbl 1168.03324)
Mortensen, Chris; Leishman, Steve Linear algebra representation of Necker cubes. I: The crazy crate. (English) Zbl 1168.03325 Australas. J. Log. 7, 1-9 (2009). MSC: 03B53 03B47 PDFBibTeX XMLCite \textit{C. Mortensen} and \textit{S. Leishman}, Australas. J. Log. 7, 1--9 (2009; Zbl 1168.03325)
Tsay, Yih-Kuen; Chen, Yu-Fang; Tsai, Ming-Hsien; Wu, Kang-Nien; Chan, Wen-Chin; Luo, Chi-Jian; Chang, Jinn-Shu Tool support for learning Büchi automata and linear temporal logic. (English) Zbl 1165.68040 Formal Asp. Comput. 21, No. 3, 259-275 (2009). MSC: 68Q45 68T27 68Q60 PDFBibTeX XMLCite \textit{Y.-K. Tsay} et al., Formal Asp. Comput. 21, No. 3, 259--275 (2009; Zbl 1165.68040) Full Text: DOI
Kozak, Michał Distributive full Lambek calculus has the finite model property. (English) Zbl 1183.03021 Stud. Log. 91, No. 2, 201-216 (2009). Reviewer: Xi Changchang (Beijing) MSC: 03B47 03B25 06F05 PDFBibTeX XMLCite \textit{M. Kozak}, Stud. Log. 91, No. 2, 201--216 (2009; Zbl 1183.03021) Full Text: DOI
Bruyère, Véronique; Carton, Olivier; Sénizergues, Géraud Tree automata and automata on linear orderings. (English) Zbl 1166.68022 Theor. Inform. Appl. 43, No. 2, 321-338 (2009). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{V. Bruyère} et al., Theor. Inform. Appl. 43, No. 2, 321--338 (2009; Zbl 1166.68022) Full Text: DOI EuDML Link
Hasegawa, Masahito On traced monoidal closed categories. (English) Zbl 1165.18007 Math. Struct. Comput. Sci. 19, No. 2, 217-244 (2009). Reviewer: Pier Luigi Ferrari (Alessandria) MSC: 18D15 03F52 03G30 PDFBibTeX XMLCite \textit{M. Hasegawa}, Math. Struct. Comput. Sci. 19, No. 2, 217--244 (2009; Zbl 1165.18007) Full Text: DOI