Resultaten visas 1 - 10 / 1693
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År

Independence-friendly logic without Henkin quantification

Referentgranskad
Öppen tillgång
DOI
10.1007/s00153-021-00781-8
Barbero, Fausto; Hella, Lauri; Rönnholm, Raine
Archive for mathematical logic2021

A logic for arguing about probabilities in measure teams

Referentgranskad
Öppen tillgång
DOI
10.1007/s00153-017-0535-x
Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko
Archive for Mathematical Logic2017

A parameterized view on the complexity of dependence and independence logic

Referentgranskad
Öppen tillgång
DOI
10.1093/logcom/exac070
Kontinen, Juha; Meier, Arne; Mahmood, Yasir
Journal of Logic and Computation2022

A Talmudic norms approach to many-valued logic

Referentgranskad
DOI
10.1093/logcom/exab027
Lethen, Tim
Journal of Logic and Computation2021

Logic without borders:Essays on set theory, model theory, philosophical logic, and philosophy of mathematics

Referentgranskad
Hirvonen, Åsa; Kontinen, Juha; Kossak, Roman; Villaveces, Andrés
Ontos Mathematical Logic2015

Negation and partial axiomatizations of dependence and independence logic revisited

Referentgranskad
Öppen tillgång
DOI
10.1016/j.apal.2019.04.010
Yang, Fan
Annals of Pure and Applied Logic2019

Introduction to "Critical Views of Logic"

Hartimo, Mirja; Kjosavik, Frode; Linnebo, Oystein
Routledge2023

Independence Logic and Abstract Independence Relations

Referentgranskad
DOI
10.1002/malq.201400031
Paolini, Gianluca
Mathematical Logic Quarterly2015

Advances in Modal Logic

Referentgranskad
Olivetti, Nicola; Verbrugge, Rineke; Negri, Sara; Sandu, Gabriel
Advances in Modal Logic2020

Ancient Logic from the Renaissance to the Birth of Mathematical Logic

Referentgranskad
DOI
10.1017/9781107477674.019
Mirella Capozzi; Haaparanta, Leila Tuulikki
Cambridge University Press2022

Independence-friendly logic without Henkin quantification

Referentgranskad
Öppen tillgång
DOI
10.1007/s00153-021-00781-8
2021

A logic for arguing about probabilities in measure teams

Referentgranskad
Öppen tillgång
DOI
10.1007/s00153-017-0535-x
2017

A parameterized view on the complexity of dependence and independence logic

Referentgranskad
Öppen tillgång
DOI
10.1093/logcom/exac070
2022

A Talmudic norms approach to many-valued logic

Referentgranskad
DOI
10.1093/logcom/exab027
2021

Logic without borders:Essays on set theory, model theory, philosophical logic, and philosophy of mathematics

Referentgranskad
2015

Negation and partial axiomatizations of dependence and independence logic revisited

Referentgranskad
Öppen tillgång
DOI
10.1016/j.apal.2019.04.010
2019

Introduction to "Critical Views of Logic"

2023

Independence Logic and Abstract Independence Relations

Referentgranskad
DOI
10.1002/malq.201400031
2015

Advances in Modal Logic

Referentgranskad
2020

Ancient Logic from the Renaissance to the Birth of Mathematical Logic

Referentgranskad
DOI
10.1017/9781107477674.019
2022