Search results for "non-triviality"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
54	Arief Daynes	A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
38	Marcos Kawazoe Aguilera, Svend Frølund, Vassos Hadzilacos, Stephanie Lorraine Horn, Sam Toueg	Abortable and query-abortable objects and their efficient implementation.	PODC	2007	DBLP DOI BibTeX RDF	abortable types, non-triviality, universal constructions, shared memory, memory contention, obstruction-freedom
29	Matthias C. Caro	From undecidability of non-triviality and finiteness to undecidability of learnability.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
29	Rohan French, Shawn Standefer	Non-triviality Done Proof-Theoretically.	LORI	2017	DBLP DOI BibTeX RDF
29	Ihechukwu Chinyere, James Howie	Non-triviality of some one-relator products of three groups.	Int. J. Algebra Comput.	2016	DBLP DOI BibTeX RDF
29	Deepak Ponvel Chermakani	A Non-Triviality Certificate for Scalars and its application to Linear Systems	CoRR	2012	DBLP BibTeX RDF
29	Marie Duzí	The Paradox of Inference and the Non-Triviality of Analytic Information.	J. Philos. Log.	2010	DBLP DOI BibTeX RDF
29	Federico Marulanda Rey	Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness.	LA-NMR	2007	DBLP BibTeX RDF
29	Graham Priest	Semantic Closure, Descriptions and Non-Triviality.	J. Philos. Log.	1999	DBLP DOI BibTeX RDF
29	Graham Priest	The Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
29	Charles G. Morgan, Edwin D. Mares	Conditionals, probability, and non-triviality.	J. Philos. Log.	1995	DBLP DOI BibTeX RDF
24	Anna Zamansky, Arnon Avron	Cut-Elimination and Quantification in Canonical Systems.	Stud Logica	2006	DBLP DOI BibTeX RDF	canonical systems, proof theory, cut elimination, non-deterministic matrices
23	Anna Zamansky, Arnon Avron	Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers.	IJCAR	2006	DBLP DOI BibTeX RDF
23	Arnon Avron, Iddo Lev	Canonical Propositional Gentzen-Type Systems.	IJCAR	2001	DBLP DOI BibTeX RDF
22	M. R. Darafsheh, Mohammad Reza Pournaki	Computation of the Dimensions of Symmetry Classes of Tensors Associated with the Finite two Dimensional Projective Special Linear Group.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Symmetry classes of tensors, Actions of symmetric groups, Irreducible characters, Projective special linear group