Is there any theoretical justification for a nonstatement view of theories?

Synthese (p. 1-39) - 1/1/1981

10.1007/bf01064465 Ver en origen

• ISSN 00397857

• iMarina

Comments on a criterion of theoreticity

Synthese (p. 77-86) - 1/7/1981

10.1007/bf01064629 Ver en origen

• ISSN 00397857

• iMarina

Realism and formal semantics

Synthese (p. 39-53) - 1/1/1982

10.1007/bf00485254 Ver en origen

• ISSN 00397857

• iMarina

Logical properties of the structuralist concept of reduction

Erkenntnis (p. 307-333) - 1/11/1982

10.1007/bf00205275 Ver en origen

• ISSN 01650106

• iMarina

Stegmüller on kuhn and incommensurability

British Journal For The Philosophy Of Science (p. 389-396) - 1/12/1982

10.1093/bjps/33.4.389 Ver en origen

• ISSN 14643537

• iMarina

On the logical structure of some value systems of classical economics: Marx and Sraffa

Theory And Decision (p. 155-175) - 1/6/1982

10.1007/bf00133975 Ver en origen

• ISSN 00405833

• iMarina

Realism and reference - Some comments on Putnam

Synthese (p. 439-448) - 1/9/1982

10.1007/bf00869563 Ver en origen

• ISSN 00397857

• iMarina

Truthlikeness and translation: A comment on oddie

British Journal For The Philosophy Of Science (p. 380-385) - 1/12/1983

10.1093/bjps/34.4.380 Ver en origen

• ISSN 14643537

• iMarina

Constructing general models of theory dynamics

Studia Logica (p. 347-362) - 1/6/1983

10.1007/bf01063852 Ver en origen

• ISSN 00393215

• iMarina

Correspondence as an intertheory relation

Studia Logica (p. 363-371) - 1/6/1983

10.1007/bf01063853 Ver en origen

• ISSN 00393215

• iMarina

Propositional logic based on the dynamics of disbelief

Lecture Notes In Computer Science (p. 241-258) - 1/1/1991

10.1007/bfb0018424 Ver en origen

• ISSN 03029743

• iMarina

Logic programming with strong negation

Lecture Notes In Computer Science (p. 311-326) - 1/1/1991

10.1007/bfb0038700 Ver en origen

• ISSN 03029743

• iMarina

Disjunctive logic programming, constructivity and strong negation

Lecture Notes In Computer Science (p. 391-410) - 1/1/1992

10.1007/bfb0023440 Ver en origen

• ISSN 03029743

• iMarina

Reasoning with negative information, II: Hard negation, strong negation and logic programs

Lecture Notes In Computer Science (p. 63-79) - 1/1/1992

10.1007/bfb0031924 Ver en origen

• ISSN 03029743

• iMarina

Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9-10, 1990 Proceedings

Lecture Notes In Computer Science - 1/1/1992

• ISSN 03029743

• iMarina

Answer sets and nonmonotonic S4

Lecture Notes In Computer Science (p. 255-267) - 1/1/1994

• ISSN 03029743

• iMarina

Nonmonotonicity and answer set inference

Lecture Notes In Computer Science (p. 372-387) - 1/1/1995

10.1007/3-540-59487-6_27 Ver en origen

• ISSN 03029743

• iMarina

A new logical characterisation of stable models and answer sets

Lecture Notes In Computer Science (p. 57-70) - 1/1/1997

10.1007/bfb0023801 Ver en origen

• ISSN 03029743

• iMarina

A tableau calculus for equilibrium entailment

Lecture Notes In Computer Science (p. 352-367) - 1/12/2000

10.1007/10722086_28 Ver en origen

• ISSN 03029743

• iMarina

A polynomial translation of logic programs with nested expressions into disjunctive logic programs: Preliminary report

Lecture Notes In Computer Science (p. 405-420) - 1/1/2002

• ISSN 03029743

• iMarina

Fundamentos y extensiones de la tecnología ANSWER SET

Ejecución: 01-01-2010 - 31-12-2012

Tipo: Nacional

Importe financiado: 54087,00 Euros.

• iMarina

European Network for Social Intelligence

Ejecución: 01-06-2011 - 31-12-2014

Tipo: Internacional

Importe financiado: 335384,00 Euros.

• iMarina

VIGIE 2020-661 - A Research Agenda on Digital Media and Human Well-Being

Ejecución: 16-04-2021 - 31-12-2022

Tipo: Internacional

Importe financiado: 16730,73 Euros.

• iMarina

Lógica e Inteligencia Artificial.- Nuevos Desaftos y Adecuación

Ejecución: 01-07-2022 - 31-12-2023

Tipo: Nacional

Importe financiado: 28520,00 Euros.

• iMarina