Search results for "Intuitionistic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
196	Xiaowei Zhang, Yongming Li 0001	Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Intuitionistic fuzzy recognizer, Intuitionistic fuzzy finite automaton, Deterministic intuitionistic fuzzy finite automaton, Intuitionistic fuzzy language
145	Wei-Zhi Wu 0001, Lei Zhou	Intuitionistic Fuzzy Approximations and Intuitionistic Fuzzy Sigma-Algebras.	RSKT	2008	DBLP DOI BibTeX RDF	intuitionistic fuzzy rough sets, ??algebras, rough sets, Approximation spaces, intuitionistic fuzzy sets, measurable spaces
98	Guiwu Wei 0001	Induced Intuitionistic Fuzzy Ordered Weighted Averaging Operator and Its Application to Multiple Attribute Group Decision Making.	RSKT	2008	DBLP DOI BibTeX RDF	Intuitionistic fuzzy numbers, Induced intuitionistic fuzzy ordered weighted averaging (I-IFOWA) operator, Group decision making
89	Zeshui Xu	A Method for Estimating Criteria Weights from Intuitionistic Preference Relations.	ICFIE	2007	DBLP DOI BibTeX RDF	Intuitionistic preference relation, consistent intuitionistic preference relation, weak transitivity, priority vector, linear programming model
84	Zheng Pei 0001, Li Zhang, Honghua Chen	Representation of Rough Sets Based on Intuitionistic Fuzzy Special Sets.	IFSA (1)	2007	DBLP DOI BibTeX RDF
84	Zeshui Xu, Jian Chen	On Geometric Aggregation over Interval-Valued Intuitionistic Fuzzy Information.	FSKD (2)	2007	DBLP DOI BibTeX RDF
84	Haibin Wang, Rajshekhar Sunderraman	A Data Model Based on Paraconsistent Intuitionistic Fuzzy Relations.	ISMIS	2005	DBLP DOI BibTeX RDF
82	Véronique Royer, Joachim Quantz	On Intuitionistic Query Answering in Description Bases.	CADE	1994	DBLP DOI BibTeX RDF	Intuitionistic Sequent Calculus, Least Fixed Point Semantics, Description Logics, Query Answering
79	Lei Zhou, Wen-Xiu Zhang, Wei-Zhi Wu 0001	Roughness Measures of Intuitionistic Fuzzy Sets.	RSKT	2008	DBLP DOI BibTeX RDF	Intuitionistic fuzzy rough sets, roughness measures, rough sets, intuitionistic fuzzy sets
73	Thomas Raths, Jens Otten, Christoph Kreitz	The ILTP Problem Library for Intuitionistic Logic.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	ILTP, problem library, ATP, benchmarking, intuitionistic logic
70	Wieslaw A. Dudek, Jianming Zhan 0001, Bijan Davvaz	Intuitionistic ( S , T )-fuzzy hyperquasigroups.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Hyperquasigroup, (Imaginable) intuitionistic (S, T)-fuzzy sub-hyperquasigroup, Quasigroup, Intuitionistic (S, T)-fuzzy relation
70	Lin Lin, Xue-Hai Yuan	A Method of Intuitionistic Fuzzy Reasoning Based on Inclusion Degree and Similarity Measure.	ICFIE	2007	DBLP DOI BibTeX RDF	Intuitionistic fuzzy reasoning, Inclusion degree, Similarity measure, Intuitionistic fuzzy sets
70	Tao Li, Xiao Ciyuan	Research of Group Decision Consensus Degree Based on Extended Intuitionistic Fuzzy Set.	ICFIE	2007	DBLP DOI BibTeX RDF	extended intuitionistic fuzzy sets, intuitionistic fuzzy distance, consensus degree, average consensus degree, relative consensus degree
66	Zeshui Xu	Intuitionistic Fuzzy Aggregation Operators.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
66	Maria Emilia Maietti, Valeria de Paiva, Eike Ritter	Categorical Models for Intuitionistic and Linear Type Theory.	FoSSaCS	2000	DBLP DOI BibTeX RDF
66	Andrei Voronkov	Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification.	CADE	1996	DBLP DOI BibTeX RDF
63	Muhammad Akram 0001, Wieslaw A. Dudek	Intuitionistic fuzzy left k -ideals of semirings.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Intuitionistic fuzzy left k-ideal, Normal fuzzy set, Fuzzy characteristic, Descending chain, Semiring
56	Changrui Yu, Yan Luo	A Fuzzy Optimization Method for Multi-criteria Decision-Making Problem Based on the Inclusion Degrees of Intuitionistic Fuzzy Sets.	ICIC (2)	2008	DBLP DOI BibTeX RDF
56	Ping He	Crime Knowledge Management Based on Intuitionistic Learning System.	FSKD (4)	2008	DBLP DOI BibTeX RDF
56	Dimitrios K. Iakovidis, Nikos Pelekis, Evangelos E. Kotsifakos, Ioannis Kopanakis	Intuitionistic Fuzzy Clustering with Applications in Computer Vision.	ACIVS	2008	DBLP DOI BibTeX RDF
56	Theresa Beaubouef, Frederick E. Petry	Intuitionistic Rough Sets for Database Applications.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF
56	Zeshui Xu	On Correlation Measures of Intuitionistic Fuzzy Sets.	IDEAL	2006	DBLP DOI BibTeX RDF
56	Martine De Cock, Chris Cornelis, Etienne E. Kerre	Intuitionistic Fuzzy Relational Images.	Computational Intelligence for Modelling and Prediction	2005	DBLP DOI BibTeX RDF
55	Krassimir T. Atanassov, Sotir Sotirov, Nora A. Angelova	Intuitionistic Fuzzy Neural Networks with Interval Valued Intuitionistic Fuzzy Conditions.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
55	Peter Vassilev, Krassimir T. Atanassov	Generalised Atanassov Intuitionistic Fuzzy Sets Are Actually Intuitionistic Fuzzy Sets.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
54	Hugo Herbelin, Gyesik Lee	Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.	WoLLIC	2009	DBLP DOI BibTeX RDF	Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics
54	Xiao-Ping Yang	An Interpretation of Rough Sets in Incomplete Information Systems within Intuitionistic Fuzzy Sets.	RSKT	2009	DBLP DOI BibTeX RDF	membership degree, rough sets, Intuitionistic fuzzy sets, incomplete information systems
54	Li Zou, Wenjiang Li, Yang Xu 0001	Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making.	ISNN (1)	2008	DBLP DOI BibTeX RDF	Lattice implication algebra, Linguistic truth-valued intuitionistic propositional logic, Decision making
54	Torben Braüner	Axioms for classical, intuitionistic, and paraconsistent hybrid logic.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Axiom systems, Modal logic, Paraconsistent logic, Intuitionistic logic, Hybrid logic, Strong negation, Constructive logic
54	Alwen Tiu	A Local System for Intuitionistic Logic.	LPAR	2006	DBLP DOI BibTeX RDF	locality, proof theory, intuitionistic logic, intermediate logics, deep inference, calculus of structures
54	Olivier Hermant	Semantic Cut Elimination in the Intuitionistic Sequent Calculus.	TLCA	2005	DBLP DOI BibTeX RDF	intuitionistic sequent calculus, cut admissibility, cut elimination property, semantic, Kripke Structure, deduction modulo
53	Zehua Lv, Chuanbo Chen, Wenhai Li	Normal Distribution Fuzzy Sets.	ICFIE	2007	DBLP DOI BibTeX RDF	normal distribution function, Fuzzy sets, intuitionistic fuzzy sets
51	Jun Zhi, Jianyong Liu, Wei Xu, Limin Zhi	Fusion Algorithm Based on the Intuitionistic Fuzzy Set and Multiple Neural Network.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Intuitionistic fuzzy decision matrix, Additive consistent linear programming, Neural network, Intuitionistic fuzzy set
51	Guilong Liu	Closures of Intuitionistic Fuzzy Relations.	RSKT	2009	DBLP DOI BibTeX RDF	Intuitionistic fuzzy relation, Clustering analysis, Closure, Intuitionistic fuzzy set
47	Linda Postniece	Deep Inference in Bi-intuitionistic Logic.	WoLLIC	2009	DBLP DOI BibTeX RDF
47	Jin Han Park, Il Young Park, Young Chel Kwun, Jong Seo Park	Multi-person Multi-attribute Decision Making Problems Based on Interval-Valued Intuitionistic Fuzzy Information.	FSKD (1)	2008	DBLP DOI BibTeX RDF
47	Michael O'Connor	Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic.	LFCS	2007	DBLP DOI BibTeX RDF
47	Jennifer M. Davoren	Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.	LFCS	2007	DBLP DOI BibTeX RDF
47	Zaiwu Gong	On the Problem of Group Decision Making Based on Intuitionistic Fuzzy Judgment Matrices.	LSMS (1)	2007	DBLP DOI BibTeX RDF
47	Agata Ciabattoni	A proof-theoretical investigation of global intuitionistic (fuzzy) logic.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Modal predicate logics, Hypersequent calculi, Globalization, Cut-elimination
47	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
46	Gabriela E. Martínez, Patricia Melin	Intuitionistic Fuzzy Sugeno Integral for Face Recognition.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
46	Boris Bozveliev, Sotir Sotirov, Stanislav Simeonov, Tihomir Videv	Generalized Net Model of Common Internet Payment Gateway with Intuitionistic Fuzzy Estimations.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
46	Evdokia Sotirova, Anthony G. Shannon, Vassia Atanassova, Krassimir T. Atanassov, Veselina Bureva	Interval Valued Intuitionistic Fuzzy Evaluations for Analysis of Students' Knowledge.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
46	Hafida Atti, Bouchra Ben Amma, Said Melliani, Lalla Saadia Chadli	Intuitionistic Fuzzy Linear Systems.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
46	R. Ettoussi, Said Melliani, Lalla Saadia Chadli	Nonlocal Intuitionistic Fuzzy Differential Equation.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
46	Bouchra Ben Amma, Said Melliani, Lalla Saadia Chadli	The Numerical Solution of Intuitionistic Fuzzy Differential Equations by the Third Order Runge-Kutta Nyström Method.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
46	Tihomir Videv, Sotir Sotirov, Boris Bozveliev	Generalized Net Model of the Network for Automatic Turning and Setting the Lighting in the Room with Intuitionistic Fuzzy Estimations.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
45	Ronald R. Yager	Level sets and the representation theorem for intuitionistic fuzzy sets.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Intuitionistic, Fuzzy sets, Level sets
45	Hong Wang, Jie Wang 0045	The Application of Intuitionistic Fuzzy Theory in Radar Target Identification.	ICIC (2)	2009	DBLP DOI BibTeX RDF	Radar target identification, Fuzzy sets, Intuitionistic fuzzy sets, Similarity degree
45	Robert Burduk	Probability Error in Global Optimal Hierarchical Classifier with Intuitionistic Fuzzy Observations.	HAIS	2009	DBLP DOI BibTeX RDF	hierarchical classifier, intuitionistic fuzzy set, error probability
45	Tamalika Chaira, Tridib Chaira	Intuitionistic Fuzzy Set: Application to Medical Image Segmentation.	Computational Intelligence in Medical Informatics	2008	DBLP DOI BibTeX RDF	hesitation degree, edge detection, thresholding, Intuitionistic fuzzy set
45	Hoda Davarzani	A New Approach for Bacillus Colonies Recognition: Application of Intuitionistic Fuzzy Sets Theory.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Bacillus Recognition, Distance Measure, Medical Diagnosis, Intuitionistic Fuzzy Sets
45	John Nolt	Reference and perspective in intuitionistic logics.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Intuitionism, Constructivism, Intuitionistic logic, Reference, Kripke semantics
45	Javier Montero, Daniel Gómez 0001, Humberto Bustince Sola	Atanassov's Intuitionistic Fuzzy Sets as a Classification Model.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Atanassov’s Intuitionistic Fuzzy Sets, L-Fuzzy sets, Type-2 Fuzzy Sets, Interval Valued Fuzzy Sets
45	Jin Han Park, Jong Seo Park, Young Chel Kwun, Ki Moon Lim	New Similarity Measures on Intuitionistic Fuzzy Sets.	ICFIE	2007	DBLP DOI BibTeX RDF	Pattern recognitio, Similarity measure, Intuitionistic fuzzy set
45	Jon E. Ervin, Sema E. Alptekin	Combs Method Used in an Intuitionistic Fuzzy Logic Application.	WILF	2007	DBLP DOI BibTeX RDF	Intuitionistic Fuzzy Logic, Combs Method, Particle Swarm Optimization
45	Yasuo Narukawa, Vicenç Torra	Non-monotonic Fuzzy Measures and Intuitionistic Fuzzy Sets.	MDAI	2006	DBLP DOI BibTeX RDF	Non-monotonic fuzzy measure, Hamming distance, Intuitionistic fuzzy sets, Choquet integral, Fuzzy measure
45	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	On the complexity of the disjunction property in intuitionistic and modal logics.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	feasible interpolation, proof-length, modal logic, Intuitionistic logic
45	Yaroslav Shramko	Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.	Stud Logica	2005	DBLP DOI BibTeX RDF	falsification, dual intuitionistic logic, kite of negations, Verification
45	Jacek Manko	Effectiveness and Relevancy Measures Under Modal Cardinality for Intuitionistic Fuzzy Sets.	AWIC	2005	DBLP DOI BibTeX RDF	Fuzzy set and its cardinality, modal logic operators necessity and possibility, effectiveness and relevancy indices, intuitionistic fuzzy set
45	Vassia Atanassova	Strategies for Decision Making in the Conditions of Intuitionistic Fuzziness.	Fuzzy Days	2004	DBLP DOI BibTeX RDF	Intuitionistic fuzziness, Decision making
45	Anthony G. Shannon, Daniela Langova-Orozova, Evdokia Sotirova, Krassimir T. Atanassov, Pedro Melo-Pinto, Taekyun Kim 0001	Generalized Net Model for Adaptive Electronic Assessment, Using Intuitionistic Fuzzy Estimations.	Fuzzy Days	2004	DBLP DOI BibTeX RDF	Generalized nets, Knowledge estimations, e-Learning, Intuitionistic Fuzzy Sets
45	Ljudmila P. Todorova	On Separability of Intuitionistic Fuzzy Sets.	IFSA	2003	DBLP DOI BibTeX RDF	classification, decision making, separability, intuitionistic fuzzy sets
45	Matthias Baaz, Christian G. Fermüller	Intuitionistic Counterparts of Finitely-Valued Logics.	ISMVL	1996	DBLP DOI BibTeX RDF	Kripke's model structures, finitely-valued logics, classical sequent calculus, cut-free complete, calculi, syntactical restriction, process algebra, multivalued logic, intuitionistic logic, Kripke structures
45	Oliver Bittel	Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic.	JELIA	1992	DBLP DOI BibTeX RDF	Typed -Calculus, Program Synthesis, Intuitionistic Logic, Automatic Theorem Proving
44	Morteza Moniri	Preservation theorems for bounded formulas.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Polynomial induction, Model completeness, Universal theory, Quantifier elimination, Intuitionistic logic, NP, Bounded arithmetic, Polynomial hierarchy, Kripke model
42	Hsiang-Chuan Liu	Type 2 Generalized Intuitionistic Fuzzy Choquet Integral Operator for Multi-criteria Decision Making.	ISPA	2010	DBLP DOI BibTeX RDF	Intuitionistic fuzzy numbers, generalized intuitionistic fuzzy numbers, linear aggregation operator, operation-invariant, partial order
42	Jin Han Park, Jong Seo Park, Young Chel Kwun	Multiple Attribute Group Decision Making Models under Fuzzy Number Intuitionistic Fuzzy Environment.	FSKD (6)	2009	DBLP DOI BibTeX RDF	Multiple attribute group decision making, fuzzy number intuitionistic fuzzy decision matrix, fuzzy number intuitionistic fuzzy number, FIFHG operator, FIFWG operator
42	Jun-hong Hu, Ying-jie Lei	Techniques for Approximate Reasoning Based on Intuitionistic Fuzzy S-Rough Logic.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	Intuitionistic Fuzzy S-Rough sets, Intuitionistic Fuzzy S-Rough Logic, approximate reasoning
39	Vassia Atanassova, Ivelina Vardeva, Evdokia Sotirova, Lyubka Doukovska	Traversing and Ranking of Elements of an Intuitionistic Fuzzy Set in the Intuitionistic Fuzzy Interpretation Triangle.	IWIFSGN@FQAS	2015	DBLP DOI BibTeX RDF
39	Janusz Kacprzyk, Dmitri A. Viattchenin, Stanislau Shyrai, Eulalia Szmidt	A Novel Similarity Measure Between Intuitionistic Fuzzy Sets for Constructing Intuitionistic Fuzzy Tolerance.	IWIFSGN@FQAS	2015	DBLP DOI BibTeX RDF
38	Luís Pinto 0001, Tarmo Uustalu	Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.	TABLEAUX	2009	DBLP DOI BibTeX RDF
38	Antoine Genitrini, Jakub Kozik	Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System.	LFCS	2009	DBLP DOI BibTeX RDF
38	Gilda Ferreira, Paulo Oliva	Functional Interpretations of Intuitionistic Linear Logic.	CSL	2009	DBLP DOI BibTeX RDF
38	Robert Burduk	Probability Error in Bayes Optimal Classifier with Intuitionistic Fuzzy Observations.	ICIAR	2009	DBLP DOI BibTeX RDF
38	Guiwu Wei 0001, Wende Yi	Induced Interval-Valued Intuitionistic Fuzzy OWG Operator.	FSKD (1)	2008	DBLP DOI BibTeX RDF
38	Weize Wang, Zhou-Jing Wang	An Approach to Multi-attribute Interval-Valued Intuitionistic Fuzzy Decision Making with Incomplete Weight Information.	FSKD (3)	2008	DBLP DOI BibTeX RDF
38	Zhuo Xiao, Guiwu Wei 0001	Application Interval-Valued Intuitionistic Fuzzy Set to Select Supplier.	FSKD (3)	2008	DBLP DOI BibTeX RDF
38	Guiwu Wei 0001, Gang Lan	Grey Relational Analysis Method for Interval-Valued Intuitionistic Fuzzy Multiple Attribute Decision Making.	FSKD (1)	2008	DBLP DOI BibTeX RDF
38	Ioannis K. Vlachos, George D. Sergiadis	Intuitionistic Fuzzy Histograms of an Image.	IFSA (1)	2007	DBLP DOI BibTeX RDF
38	José Espírito Santo, Ralph Matthes, Luís Pinto 0001	Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.	TLCA	2007	DBLP DOI BibTeX RDF
38	Ioannis K. Vlachos, George D. Sergiadis	A Two-Dimensional Entropic Approach to Intuitionistic Fuzzy Contrast Enhancement.	WILF	2007	DBLP DOI BibTeX RDF
38	Linda Buisman, Rajeev Goré	A Cut-Free Sequent Calculus for Bi-intuitionistic Logic.	TABLEAUX	2007	DBLP DOI BibTeX RDF
38	Hidenori Kurokawa	Hypersequent Calculus for Intuitionistic Logic with Classical Atoms.	LFCS	2007	DBLP DOI BibTeX RDF
38	Alexander V. Lyaletski, Boris Konev	On Herbrand's Theorem for Intuitionistic Logic.	JELIA	2006	DBLP DOI BibTeX RDF
38	Dimiter Vakarelov	Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Nelson negation, subminimal logic, counterexample semantics, many-valued logics
38	Eulalia Szmidt, Janusz Kacprzyk	Distances Between Intuitionistic Fuzzy Sets and their Applications in Reasoning.	Computational Intelligence for Modelling and Prediction	2005	DBLP DOI BibTeX RDF
38	Thomas Raths, Jens Otten, Christoph Kreitz	The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
38	Jens Otten	Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
38	Glad Deschrijver, Chris Cornelis, Etienne E. Kerre	On the representation of intuitionistic fuzzy t-norms and t-conorms.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
38	Boyan Kolev, Panagiotis Chountas, Ilias Petrounias, Vassilis S. Kodogiannis	An Application of Intuitionistic Fuzzy Relational Databases in Football Match Result Predictions.	Fuzzy Days	2004	DBLP DOI BibTeX RDF
38	Guy Perrier	Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions.	LPAR	2001	DBLP DOI BibTeX RDF
38	Daniel S. Korn, Christoph Kreitz	Deciding Intuitionistic Propositional Logic via Translation into Classical Logic.	CADE	1997	DBLP DOI BibTeX RDF
38	Torben Braüner	A Model of Intuitionistic Affine Logic From Stable Domain Theory.	ICALP	1994	DBLP DOI BibTeX RDF
38	Natarajan Shankar	Proof Search in the Intuitionistic Sequent Calculus.	CADE	1992	DBLP DOI BibTeX RDF
37	David J. Pym	On Bunched Predicate Logic.	LICS	1999	DBLP DOI BibTeX RDF
37	Samin S. Ishtiaq, David J. Pym	Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus.	CSL	1999	DBLP DOI BibTeX RDF
37	Torben Braüner	The Girard Translation Extended with Recursion.	CSL	1994	DBLP DOI BibTeX RDF
36	Antonio Herrera-Acosta, Alfonso Rojas Domínguez, Juan Martín Carpio, Manuel Ornelas-Rodríguez, Héctor Puga	Gegenbauer-Based Image Descriptors for Visual Scene Recognition.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF