Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-2

Non-classical logics for knowledge representation and reasoning

Laura Giordano, Valentina Gliozzi, Nicola Olivetti [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2001-2

Strong Normalisation of Cut-Elimination in Classical Logic

C. Urban, G.M. Bierman

Fundamenta Informaticae

Retricted access

Research article

First published 2016-4

Lattice and metric completions of the classical logic metric space and a comparison 1

Hui-Xian Shi, Yong-Ming Li

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

Retricted access

Research article

First published 1995-2

CUT ELIMINATION FOR CLASSICAL BILINEAR LOGIC

J. Lambek

Fundamenta Informaticae

Retricted access

Research article

First published 1994-6

ADAPTING CLASSICAL INFERENCE TECHNIQUES TO MULTIPLE-VALUED LOGICS USING SIGNED FORMULAS

Neil V. Murray, Erik Rosenthal

Fundamenta Informaticae

Open access

Research article

First published 2025-12

From Classical Rationality to Contextual Reasoning: Quantum Logic as a New Frontier for Human-Centric AI in Finance

Fabio Bagarello, Francesco Gargano, Polina Khrennikova

Quantum Economics and Finance

Retricted access

Research article

First published 2005-10

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations

Alfredo Burrieza, Manuel Ojeda-Aciego

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Completeness and Soundness Results for 𝒳 with Intersection and Union Types

Steffen van Bakel

Fundamenta Informaticae

Retricted access

Research article

First published 1964-4

Utilitarian logic and the classical conception of social science

James F. Becker

Science & Society: A Journal of Marxist Thought and Analysis

Retricted access

Research article

First published 2021-4

Development of a classification system for Mathematical Logic

Antonio Sarasa Cabezuelo

Journal of Information Science

Search results