发布求助
文献互助 智能选刊 最新文献

Logica Universalis最新文献

筛选
英文 中文
Introducing H, an Institution-Based Formal Specification and Verification Language 介绍一种基于机构的形式化规范与验证语言H
IF 0.8 2区 数学
Logica Universalis Pub Date : 2019-08-26 DOI: 10.1007/s11787-020-00249-y
R. Diaconescu
{"title":"Introducing H, an Institution-Based Formal Specification and Verification Language","authors":"R. Diaconescu","doi":"10.1007/s11787-020-00249-y","DOIUrl":"https://doi.org/10.1007/s11787-020-00249-y","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"14 1","pages":"259 - 277"},"PeriodicalIF":0.8,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-020-00249-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43405032","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}
引用次数: 3
Vennio1: A Diagram System for Universe Without Boundary 无边界宇宙的图解系统
IF 0.8 2区 数学
Logica Universalis Pub Date : 2019-08-08 DOI: 10.1007/S11787-019-00227-Z
Reetu Bhattacharjee, Mihir K. Chakraborty, Lopamudra Choudhury
{"title":"Vennio1: A Diagram System for Universe Without Boundary","authors":"Reetu Bhattacharjee, Mihir K. Chakraborty, Lopamudra Choudhury","doi":"10.1007/S11787-019-00227-Z","DOIUrl":"https://doi.org/10.1007/S11787-019-00227-Z","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"13 1","pages":"289-346"},"PeriodicalIF":0.8,"publicationDate":"2019-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/S11787-019-00227-Z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42151733","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}
引用次数: 1
On the Origin of Indian Logic from the Viewpoint of the Pāli Canon 从Pāli经典看印度逻辑的起源
IF 0.8 2区 数学
Logica Universalis Pub Date : 2019-07-26 DOI: 10.1007/s11787-019-00225-1
A. Schumann
{"title":"On the Origin of Indian Logic from the Viewpoint of the Pāli Canon","authors":"A. Schumann","doi":"10.1007/s11787-019-00225-1","DOIUrl":"https://doi.org/10.1007/s11787-019-00225-1","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"13 1","pages":"347 - 393"},"PeriodicalIF":0.8,"publicationDate":"2019-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-019-00225-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42321704","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}
引用次数: 6
The Sphere Model of Consciousness: From Geometrical to Neuro-Psycho-Educational Perspectives 意识的球体模型：从几何到神经心理教育的视角
IF 0.8 2区 数学
Logica Universalis Pub Date : 2019-07-20 DOI: 10.1007/s11787-019-00226-0
P. Paoletti, T. Ben-Soussan
{"title":"The Sphere Model of Consciousness: From Geometrical to Neuro-Psycho-Educational Perspectives","authors":"P. Paoletti, T. Ben-Soussan","doi":"10.1007/s11787-019-00226-0","DOIUrl":"https://doi.org/10.1007/s11787-019-00226-0","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"13 1","pages":"395 - 415"},"PeriodicalIF":0.8,"publicationDate":"2019-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-019-00226-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43709010","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}
引用次数: 18
Perspectives on the Logical Study of Language 语言逻辑研究的视角
IF 0.8 2区 数学
Logica Universalis Pub Date : 2019-06-01 DOI: 10.1007/s11787-019-00224-2
J. Hintikka
{"title":"Perspectives on the Logical Study of Language","authors":"J. Hintikka","doi":"10.1007/s11787-019-00224-2","DOIUrl":"https://doi.org/10.1007/s11787-019-00224-2","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"13 1","pages":"151 - 163"},"PeriodicalIF":0.8,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-019-00224-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52659316","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}
引用次数: 3
Super Models 超级模特
IF 0.8 2区 数学
Logica Universalis Pub Date : 2019-06-01 DOI: 10.1007/s11787-019-00223-3
J. Hintikka
{"title":"Super Models","authors":"J. Hintikka","doi":"10.1007/s11787-019-00223-3","DOIUrl":"https://doi.org/10.1007/s11787-019-00223-3","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"13 1","pages":"147 - 150"},"PeriodicalIF":0.8,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-019-00223-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45614513","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}
引用次数: 0
Rooted Hypersequent Calculus for Modal Logic S5 模态逻辑S5的根超序列演算
IF 0.8 2区 数学
Logica Universalis Pub Date : 2019-05-22 DOI: 10.1007/s11787-023-00328-w
Hamzeh Mohammadi, M. Aghaei
{"title":"Rooted Hypersequent Calculus for Modal Logic S5","authors":"Hamzeh Mohammadi, M. Aghaei","doi":"10.1007/s11787-023-00328-w","DOIUrl":"https://doi.org/10.1007/s11787-023-00328-w","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"17 1","pages":"269 - 295"},"PeriodicalIF":0.8,"publicationDate":"2019-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48709802","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}
引用次数: 0
1st World Logic Day: 14 January 2019 第一个世界逻辑日:2019年1月14日
IF 0.8 2区 数学
Logica Universalis Pub Date : 2019-02-08 DOI: 10.1007/s11787-019-00221-5
J. Béziau
{"title":"1st World Logic Day: 14 January 2019","authors":"J. Béziau","doi":"10.1007/s11787-019-00221-5","DOIUrl":"https://doi.org/10.1007/s11787-019-00221-5","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"13 1","pages":"1 - 20"},"PeriodicalIF":0.8,"publicationDate":"2019-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-019-00221-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52659293","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}
引用次数: 2
Positive Amalgamation 积极的融合
IF 0.8 2区 数学
Logica Universalis Pub Date : 2018-11-29 DOI: 10.1007/s11787-018-0216-5
M. Belkasmi
{"title":"Positive Amalgamation","authors":"M. Belkasmi","doi":"10.1007/s11787-018-0216-5","DOIUrl":"https://doi.org/10.1007/s11787-018-0216-5","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"14 1","pages":"243 - 258"},"PeriodicalIF":0.8,"publicationDate":"2018-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-018-0216-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43323648","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}
引用次数: 2
Developing Metalogic to Formalize Ontological Disputes of the Systems in Metaphysics by Introducing the Notion of Functionally Isomorphic Quantifiers 引入功能同构量词概念，发展元逻辑形式化形而上学系统的本体论争论
IF 0.8 2区 数学
Logica Universalis Pub Date : 2018-10-03 DOI: 10.1007/s11787-018-0213-8
Jolly Thomas
{"title":"Developing Metalogic to Formalize Ontological Disputes of the Systems in Metaphysics by Introducing the Notion of Functionally Isomorphic Quantifiers","authors":"Jolly Thomas","doi":"10.1007/s11787-018-0213-8","DOIUrl":"https://doi.org/10.1007/s11787-018-0213-8","url":null,"abstract":"","PeriodicalId":48558,"journal":{"name":"Logica Universalis","volume":"12 1","pages":"461 - 492"},"PeriodicalIF":0.8,"publicationDate":"2018-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11787-018-0213-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52659272","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}
引用次数: 3
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信