Fan, Tuan-Fang; Liau, Churn-Jung Reason-maintenance belief logic with uncertain information. (English) Zbl 1433.03045 ACM Trans. Comput. Log. 21, No. 1, Article No. 3, 32 p. (2020). MSC: 03B42 03B52 PDFBibTeX XMLCite \textit{T.-F. Fan} and \textit{C.-J. Liau}, ACM Trans. Comput. Log. 21, No. 1, Article No. 3, 32 p. (2020; Zbl 1433.03045) Full Text: DOI
Guller, Dušan Automated deduction in Gödel logic. (English) Zbl 1407.03012 ACM Trans. Comput. Log. 19, No. 3, Article No. 18, 28 p. (2018). MSC: 03B35 03B52 PDFBibTeX XMLCite \textit{D. Guller}, ACM Trans. Comput. Log. 19, No. 3, Article No. 18, 28 p. (2018; Zbl 1407.03012) Full Text: DOI
Frigeri, Achille; Pasquale, Liliana; Spoletini, Paola Fuzzy time in linear temporal logic. (English) Zbl 1354.03021 ACM Trans. Comput. Log. 15, No. 4, Article No. 30, 22 p. (2014). MSC: 03B44 03B52 PDFBibTeX XMLCite \textit{A. Frigeri} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 30, 22 p. (2014; Zbl 1354.03021) Full Text: DOI Link
Schockaert, Steven; Janssen, Jeroen; Vermeir, Dirk Fuzzy equilibrium logic: declarative problem solving in continuous domains. (English) Zbl 1351.68270 ACM Trans. Comput. Log. 13, No. 4, Article No. 33, 39 p. (2012). MSC: 68T27 03B52 68N17 68Q25 68T20 68T37 91A10 PDFBibTeX XMLCite \textit{S. Schockaert} et al., ACM Trans. Comput. Log. 13, No. 4, Article No. 33, 39 p. (2012; Zbl 1351.68270) Full Text: DOI
Bova, Simone; Montagna, Franco Proof search in Hájek’s basic logic. (English) Zbl 1367.03024 ACM Trans. Comput. Log. 9, No. 3, Article No. 21, 26 p. (2008). MSC: 03B35 03B52 PDFBibTeX XMLCite \textit{S. Bova} and \textit{F. Montagna}, ACM Trans. Comput. Log. 9, No. 3, Article No. 21, 26 p. (2008; Zbl 1367.03024) Full Text: DOI arXiv
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov Sequent and hypersequent calculi for abelian and Łukasiewicz logics. (English) Zbl 1407.03037 ACM Trans. Comput. Log. 6, No. 3, 578-613 (2005). MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{G. Metcalfe} et al., ACM Trans. Comput. Log. 6, No. 3, 578--613 (2005; Zbl 1407.03037) Full Text: DOI arXiv