Search results for "Permutability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
112	Vilém Vychodil	A note on congruence permutability and fuzzy logic.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Mal'cev-condition, Fuzzy logic, Permutability, Fuzzy equality
53	Diego Nicolás Castaño, J. Patricio Díaz Varela	Conditions for Permutability of Congruences in Implication Algebras.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06F99, 08B20, 08A30
30	Gergo Gyenizse, Miklós Maróti, László Zádori	On the use of majority for investigating primeness of 3-permutability.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
30	Gergo Gyenizse, Miklós Maróti, László Zádori	Congruence permutability is prime.	CoRR	2021	DBLP BibTeX RDF
30	Gergo Gyenizse, Miklós Maróti, László Zádori	n-Permutability is not join-prime for n ≥ 5.	Int. J. Algebra Comput.	2020	DBLP DOI BibTeX RDF
30	Alexandr Kazda	nnn-permutability and linear Datalog implies symmetric Datalog.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
30	R. Rajkumar, P. Devi	Permutability graphs of subgroups of some finite non-abelian groups.	Discret. Math. Algorithms Appl.	2016	DBLP DOI BibTeX RDF
30	José Espírito Santo, Maria João Frade, Luís Pinto 0001	Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts.	TYPES	2016	DBLP DOI BibTeX RDF
30	Alexandr Kazda	$n$-permutability and linear Datalog implies symmetric Datalog.	CoRR	2015	DBLP BibTeX RDF
30	R. Rajkumar, P. Devi	On permutability graphs of subgroups of groups.	Discret. Math. Algorithms Appl.	2015	DBLP DOI BibTeX RDF
30	Tatjana Lutovac, James Harland	A contribution to automated-oriented reasoning about permutability of sequent calculi rules.	Comput. Sci. Inf. Syst.	2013	DBLP DOI BibTeX RDF
30	Neus Carmona, Jorge Elorza, Jordi Recasens, Jean Bragard	Permutability of Fuzzy Consequence Operators and Fuzzy Interior Operators.	CAEPIA	2013	DBLP DOI BibTeX RDF
30	Neus Carmona, Jorge Elorza, Jordi Recasens, Jean Bragard	Permutability of Fuzzy Consequence Operators Induced by Fuzzy Relations.	MDAI	2013	DBLP DOI BibTeX RDF
30	Claus-Peter Wirth	lim+, δ+, and Non-Permutability of β-Steps.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
30	Miguel Campercholi, Diego Nicolás Castaño, J. Patricio Díaz Varela	Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.	Stud Logica	2011	DBLP DOI BibTeX RDF
30	Claus-Peter Wirth	lim+, delta+, and Non-Permutability of beta-Steps	CoRR	2009	DBLP BibTeX RDF
30	Sara Negri	Permutability of Rules for Linear Lattices.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
30	Martin Peterson	Transformative Decision Rules, Permutability, and Non-Sequential Framing of Decision Problems.	Synth.	2004	DBLP DOI BibTeX RDF
30	Roy Dyckhoff, Luís Pinto 0001	Permutability of Proofs in Intuitionistic Sequent Calculi.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
30	Haskell B. Curry	The Permutability of Rules in the Classical Inferential Calculus.	J. Symb. Log.	1952	DBLP DOI BibTeX RDF
23	Serge Autexier, Dominik Dietrich	Atomic Metadeduction.	KI	2009	DBLP DOI BibTeX RDF
23	Alwen Tiu, Rajeev Goré	A Proof Theoretic Analysis of Intruder Theories.	RTA	2009	DBLP DOI BibTeX RDF	AC convergent theories, intruder deduction, security protocols, sequent calculus
23	O. N. Malykh, Yu. S. Shakhnovskii	Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 2: Algorithms and Experimental Verification.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
23	Peter Jipsen	From Semirings to Residuated Kleene Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test
23	José Espírito Santo, Luís Pinto 0001	Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.	TLCA	2003	DBLP DOI BibTeX RDF
23	L. Habert, J.-M. Notin, Didier Galmiche	LINK: A Proof Environment Based on Proof Nets.	TABLEAUX	2002	DBLP DOI BibTeX RDF
23	Giorgio Delzanno, Sandro Etalle	Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols.	LOPSTR	2001	DBLP DOI BibTeX RDF
23	James Harland, David J. Pym	On Resolution in Fragments of Classical Linear Logic.	LPAR	1992	DBLP DOI BibTeX RDF