Search results for "syllogistics"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Jan van Eijck	Natural Logic for Natural Language.	TbiLLC	2005	DBLP DOI BibTeX RDF
36	Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo	Decidability results for sets with atoms.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
32	Jens Lemanski	Extended Syllogistics in Calculus CL.	FLAP	2021	DBLP BibTeX RDF
32	Miroslav Hanke	Seventeenth-Century Scholastic Syllogistics. Between Logic and Mathematics?	Rev. Symb. Log.	2020	DBLP DOI BibTeX RDF
32	Selçuk Topal	Equivalential Structures for Binary and Ternary Syllogistics.	J. Log. Lang. Inf.	2018	DBLP DOI BibTeX RDF
32	Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu	Set-syllogistics meet combinatorics.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
32	Peter Øhrstrøm, Ulrik Sandborg-Petersen	Designing a New Tool for E-learning in Syllogistics.	CSTIW@ICCS	2016	DBLP BibTeX RDF
32	Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug	Teaching Syllogistics Using E-learning Tools.	eLEOT	2016	DBLP DOI BibTeX RDF
32	Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug	Teaching Syllogistics Through Gamification and Interactive Proofs.	EC-TEL	2015	DBLP DOI BibTeX RDF
32	Martin Pereira-Fariña, Félix Díaz-Hermida, Alberto Bugarín	On the analysis of set-based fuzzy quantified reasoning using classical syllogistics.	CoRR	2014	DBLP BibTeX RDF
32	Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug	Teaching Syllogistics Using Conceptual Graphs.	ICCS	2014	DBLP DOI BibTeX RDF
32	Thomas F. Icard III	Higher-Order Syllogistics.	FG	2014	DBLP DOI BibTeX RDF
32	Martin Pereira-Fariña, Félix Díaz-Hermida, Alberto Bugarín	On the analysis of set-based fuzzy quantified reasoning using classical syllogistics.	Fuzzy Sets Syst.	2013	DBLP DOI BibTeX RDF
32	Nikolay Ivanov, Dimiter Vakarelov	Relational Syllogistics	CoRR	2011	DBLP BibTeX RDF
32	Sara L. Uckelman, Spencer Johnston	A Simple Semantics for Aristotelian Apodeictic Syllogistics.	Advances in Modal Logic	2010	DBLP BibTeX RDF
32	Domenico Cantone, Vincenzo Cutello	Decision Procedures for Stratified Set-Theoretic Syllogistics.	ISSAC	1993	DBLP DOI BibTeX RDF	Multi-sorted languages, Set Theory, Decision Procedures
32	S. N. Furs	Syllogistics of Some Theories.	Math. Log. Q.	1987	DBLP DOI BibTeX RDF