You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (892)

Journals (0)

1-10 of 892 results for logical formalization

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Logic and Dialectics in Social Science,Part II: Dialectics,Formal Logic and Mathematics 1

Retricted access

Research article

First published 2008-09

Logic and Dialectics in Social Science,Part II: Dialectics,Formal Logic and Mathematics 1

Guglielmo Carchedi

Critical Sociology

Select article: Comparing logic programming and formal argumentation;the case of ideal and eager semantics

Open access

Research article

First published 2022-2-21

Comparing logic programming and formal argumentation;the case of ideal and eager semantics

Martin Caminada, Sri Harikrishnan, Samy Sá

Argument & Computation

Select article: A three-valued logic approach to partially known formal concepts 1

Retricted access

Research article

First published 2019-09-09

A three-valued logic approach to partially known formal concepts 1

Yanhong She, Wei Wang, Xiaoli He [...]

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

Select article: Formalizing Defeasible Logic in CAKE

Retricted access

Research article

First published 2003-9

Formalizing Defeasible Logic in CAKE

Ewa Madalińska-Bugaj, Witold Łukaszewicz

Fundamenta Informaticae

Select article: Formalization of Inheritance Reasoning in Autoepistemic Logic

Retricted access

Research article

First published 1990

Formalization of Inheritance Reasoning in Autoepistemic Logic

Michael Gelfond, Halina Przymusinska

Fundamenta Informaticae

Select article: Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Retricted access

Research article

First published 2016

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid [...]

Journal of Integrated Design and Process Science

Select article: On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

Retricted access

Research article

First published 1996-12

On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

Anna Gomolińska

Fundamenta Informaticae

Select article: Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic

Retricted access

Research article

First published 1997-7

Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic

Shie-Jue Lee, Wei-Jer Lin

Fundamenta Informaticae

Select article: Back to Inertia: Theoretical Implications of Alternative Styles of Logical Formalization *

Retricted access

Research article

First published 2000-7

Back to Inertia: Theoretical Implications of Alternative Styles of Logical Formalization *

Gábor L. Péli, László Pólos, Michael T. Hannan

Sociological Theory

Select article: Symbolic negotiation: Partial deduction for linear logic with coalition formation

Retricted access

Research article

First published 2008-5

Symbolic negotiation: Partial deduction for linear logic with coalition formation

Peep Küngas, Mihhail Matskin

Web Intelligence

1
2
3
•••
90
10 / page

Article type

Publication date

Subjects

Access