Pub Date : 2020-07-24DOI: 10.1007/s11787-020-00258-x
Samuele Maschio
{"title":"Numerical Existence Property and Categories with an Internal Copy","authors":"Samuele Maschio","doi":"10.1007/s11787-020-00258-x","DOIUrl":"https://doi.org/10.1007/s11787-020-00258-x","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00258-x","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46050883","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-07-20DOI: 10.1007/s11787-020-00257-y
J. Ketland
{"title":"Bases for Structures and Theories I","authors":"J. Ketland","doi":"10.1007/s11787-020-00257-y","DOIUrl":"https://doi.org/10.1007/s11787-020-00257-y","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00257-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47221119","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-05-25DOI: 10.1007/s11787-020-00254-1
A. Avron
{"title":"The Normal and Self-extensional Extension of Dunn–Belnap Logic","authors":"A. Avron","doi":"10.1007/s11787-020-00254-1","DOIUrl":"https://doi.org/10.1007/s11787-020-00254-1","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141203173","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-05-25DOI: 10.1007/s11787-020-00254-1
A. Avron
{"title":"The Normal and Self-extensional Extension of Dunn–Belnap Logic","authors":"A. Avron","doi":"10.1007/s11787-020-00254-1","DOIUrl":"https://doi.org/10.1007/s11787-020-00254-1","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141203178","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-04-22DOI: 10.1007/s11787-020-00250-5
David W. Miller
{"title":"Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice","authors":"David W. Miller","doi":"10.1007/s11787-020-00250-5","DOIUrl":"https://doi.org/10.1007/s11787-020-00250-5","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00250-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44839638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-04-07DOI: 10.1007/s11787-020-00251-4
J. Ramos, J. Rasga, C. Sernadas
{"title":"Essential Structure of Proofs as a Measure of Complexity","authors":"J. Ramos, J. Rasga, C. Sernadas","doi":"10.1007/s11787-020-00251-4","DOIUrl":"https://doi.org/10.1007/s11787-020-00251-4","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00251-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47969482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-03-01DOI: 10.1007/s11787-020-00248-z
Ioannis M. Vandoulakis, Tatiana Yu. Denisova
{"title":"On the Historical Transformations of the Square of Opposition as Semiotic Object","authors":"Ioannis M. Vandoulakis, Tatiana Yu. Denisova","doi":"10.1007/s11787-020-00248-z","DOIUrl":"https://doi.org/10.1007/s11787-020-00248-z","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00248-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44391033","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-02-28DOI: 10.1007/s11787-020-00241-6
D. Dubois, H. Prade, A. Rico
{"title":"Structures of Opposition and Comparisons: Boolean and Gradual Cases","authors":"D. Dubois, H. Prade, A. Rico","doi":"10.1007/s11787-020-00241-6","DOIUrl":"https://doi.org/10.1007/s11787-020-00241-6","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00241-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52659331","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}