Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020

A Many-sorted Polyadic Modal Logic

Ioana Leuştean, Natalia Moangă, Traian Florin Şerbănuţă

Fundamenta Informaticae

Retricted access

Research article

First published 1985

Axiomatizable Classes in Many-Sorted Logics of Programs

Wktor Danko

Fundamenta Informaticae

Retricted access

Research article

First published 2005-6

Generalized Interpolation in First Order Logic

Tomasz Borzyszkowski

Fundamenta Informaticae

Retricted access

Research article

First published 2014-5

First-order logic system $\mathbf{IMTL_{Q}^{*}}$ and triple I method in fuzzy reasoning with linguistic quantifiers

Xiaohong Zhang, Xu Zeng

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2008-3

Relational methodology for data mining and knowledge discovery

E.E. Vityaev, B.Y. Kovalerchuk

Intelligent Data Analysis: An International Journal

Retricted access

Research article

First published 2011-1

Towards a Behavioral Algebraic Theory of Logical Valuations

Carlos Caleiro, Ricardo Gonçalves

Fundamenta Informaticae

Retricted access

Research article

First published 1983

An Interpretability Approach to the Theory of Abstract Data Types 1

Wiktor Dańko

Fundamenta Informaticae

Retricted access

Research article

First published 2017-12-21

Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ,ɛℒ + and their Extensions with n -ary Roles and Numerical Domains

Viorica Sofronie-Stokkermans

Fundamenta Informaticae

Retricted access

Research article

First published 2001-10

Understanding Statistical Significance: A Conceptual History

Joseph Little

Journal of Technical Writing and Communication

Retricted access

Research article

First published 2010-5

The Liberal International Order and its Discontents

G. John Ikenberry

Millennium: Journal of International Studies

Search results