Ahmed, Waqar; Hasan, Osman; Tahar, Sofiène Formalization of reliability block diagrams in higher-order logic. (English) Zbl 1436.68390 J. Appl. Log. 18, 19-41 (2016). MSC: 68V20 68M15 68Q60 PDFBibTeX XMLCite \textit{W. Ahmed} et al., J. Appl. Log. 18, 19--41 (2016; Zbl 1436.68390) Full Text: DOI
Streicher, T. A model of type theory in simplicial sets. A brief introduction to Voevodsky’s homotopy type theory. (English) Zbl 1335.03010 J. Appl. Log. 12, No. 1, 45-49 (2014). MSC: 03B15 03G30 55U40 PDFBibTeX XMLCite \textit{T. Streicher}, J. Appl. Log. 12, No. 1, 45--49 (2014; Zbl 1335.03010) Full Text: DOI
Lamarche, François Modeling Martin-Löf type theory in categories. (English) Zbl 1335.03009 J. Appl. Log. 12, No. 1, 28-44 (2014). MSC: 03B15 03G30 18D30 55U40 PDFBibTeX XMLCite \textit{F. Lamarche}, J. Appl. Log. 12, No. 1, 28--44 (2014; Zbl 1335.03009) Full Text: DOI
Gillibert, Jean (ed.); Retoré, Christian (ed.) Category theory, logic and formal linguistics: some connections, old and new. (English) Zbl 1335.03002 J. Appl. Log. 12, No. 1, 1-13 (2014). MSC: 03-06 03B15 03B65 03F52 03G30 00B25 PDFBibTeX XMLCite \textit{J. Gillibert} (ed.) and \textit{C. Retoré} (ed.), J. Appl. Log. 12, No. 1, 1--13 (2014; Zbl 1335.03002) Full Text: DOI arXiv
Kließ, M. S.; Paris, J. B. Second order inductive logic and Wilmers’ principle. (English) Zbl 1395.03013 J. Appl. Log. 12, No. 4, 462-476 (2014). MSC: 03B48 03B15 68T27 PDFBibTeX XMLCite \textit{M. S. Kließ} and \textit{J. B. Paris}, J. Appl. Log. 12, No. 4, 462--476 (2014; Zbl 1395.03013) Full Text: DOI
Hutter, Marcus; Lloyd, John W.; Ng, Kee Siong; Uther, William T. B. Probabilities on sentences in an expressive logic. (English) Zbl 1284.03161 J. Appl. Log. 11, No. 4, 386-420 (2013). MSC: 03B48 68T37 PDFBibTeX XMLCite \textit{M. Hutter} et al., J. Appl. Log. 11, No. 4, 386--420 (2013; Zbl 1284.03161) Full Text: DOI arXiv
Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C. LEO-II and Satallax on the Sledgehammer test bench. (English) Zbl 1262.68161 J. Appl. Log. 11, No. 1, 91-102 (2013). MSC: 68T15 PDFBibTeX XMLCite \textit{N. Sultana} et al., J. Appl. Log. 11, No. 1, 91--102 (2013; Zbl 1262.68161) Full Text: DOI
Gabbay, Murdoch J.; Nanevski, Aleksandar Denotation of contextual modal type theory (CMTT): syntax and meta-programming. (English) Zbl 1280.03037 J. Appl. Log. 11, No. 1, 1-29 (2013). MSC: 03B70 03B40 03B45 68N30 68Q55 PDFBibTeX XMLCite \textit{M. J. Gabbay} and \textit{A. Nanevski}, J. Appl. Log. 11, No. 1, 1--29 (2013; Zbl 1280.03037) Full Text: DOI arXiv
Hasan, Osman; Patel, Jigar; Tahar, Sofiène Formal reliability analysis of combinational circuits using theorem proving. (English) Zbl 1217.94140 J. Appl. Log. 9, No. 1, 41-60 (2011). MSC: 94C12 68T15 PDFBibTeX XMLCite \textit{O. Hasan} et al., J. Appl. Log. 9, No. 1, 41--60 (2011; Zbl 1217.94140) Full Text: DOI Link
Ng, K. S.; Lloyd, J. W. Probabilistic reasoning in a classical logic. (English) Zbl 1174.03006 J. Appl. Log. 7, No. 2, 218-238 (2009). Reviewer: Jürgen Landes (Narbonne) MSC: 03B48 03B15 68T37 PDFBibTeX XMLCite \textit{K. S. Ng} and \textit{J. W. Lloyd}, J. Appl. Log. 7, No. 2, 218--238 (2009; Zbl 1174.03006) Full Text: DOI
Courcelle, Bruno Circle graphs and monadic second-order logic. (English) Zbl 1149.03011 J. Appl. Log. 6, No. 3, 416-442 (2008). MSC: 03B15 05C62 PDFBibTeX XMLCite \textit{B. Courcelle}, J. Appl. Log. 6, No. 3, 416--442 (2008; Zbl 1149.03011) Full Text: DOI
Farmer, William M. The seven virtues of simple type theory. (English) Zbl 1149.03012 J. Appl. Log. 6, No. 3, 267-286 (2008). MSC: 03B15 PDFBibTeX XMLCite \textit{W. M. Farmer}, J. Appl. Log. 6, No. 3, 267--286 (2008; Zbl 1149.03012) Full Text: DOI
de Moura, Flávio L. C.; Ayala-Rincón, Mauricio; Kamareddine, Fairouz Higher-order unification: a structural relation between Huet’s method and the one based on explicit substitutions. (English) Zbl 1138.03014 J. Appl. Log. 6, No. 1, 72-108 (2008). MSC: 03B40 03B25 03B35 PDFBibTeX XMLCite \textit{F. L. C. de Moura} et al., J. Appl. Log. 6, No. 1, 72--108 (2008; Zbl 1138.03014) Full Text: DOI
Wiedijk, Freek Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. (English) Zbl 1114.03007 J. Appl. Log. 4, No. 4, 622-645 (2006). MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{F. Wiedijk}, J. Appl. Log. 4, No. 4, 622--645 (2006; Zbl 1114.03007) Full Text: DOI
Andrews, Peter B.; Brown, Chad E. TPS: A hybrid automatic-interactive system for developing proofs. (English) Zbl 1107.68091 J. Appl. Log. 4, No. 4, 367-395 (2006). MSC: 68T15 PDFBibTeX XMLCite \textit{P. B. Andrews} and \textit{C. E. Brown}, J. Appl. Log. 4, No. 4, 367--395 (2006; Zbl 1107.68091) Full Text: DOI
Courcelle, Bruno The monadic second-order logic of graphs. XV: On a conjecture by D. Seese. (English) Zbl 1099.03007 J. Appl. Log. 4, No. 1, 79-114 (2006). Reviewer: Magnus Steinby (Turku) MSC: 03B25 03B15 05C99 PDFBibTeX XMLCite \textit{B. Courcelle}, J. Appl. Log. 4, No. 1, 79--114 (2006; Zbl 1099.03007) Full Text: DOI
Seldin, Jonathan P. Interpreting HOL in the calculus of constructions. (English) Zbl 1051.03015 J. Appl. Log. 2, No. 2, 173-189 (2004). MSC: 03B35 03B40 03B70 03B15 PDFBibTeX XMLCite \textit{J. P. Seldin}, J. Appl. Log. 2, No. 2, 173--189 (2004; Zbl 1051.03015) Full Text: DOI
Holm, Ruurik A constructive approach to state description semantics. (English) Zbl 1032.03004 J. Appl. Log. 1, No. 1-2, 13-46 (2003). MSC: 03A05 03B45 03F50 03F35 PDFBibTeX XMLCite \textit{R. Holm}, J. Appl. Log. 1, No. 1--2, 13--46 (2003; Zbl 1032.03004) Full Text: DOI