比尔,Jc;罗斯·布雷迪;J.Michael Dunn;Hazen,A.P。;埃德温·马雷斯;罗伯特·K·迈耶。;格雷厄姆牧师;格雷格·雷斯塔尔;戴维·里普利;约翰·斯莱尼;理查德·西尔文 关于三元关系和条件。 (英语) Zbl 1260.03049号 J.菲洛斯。日志。 41,第3期,595-612(2012). 审核人:杰玛·罗伯斯(莱昂) MSC公司:03B47号 03A05号 03B45 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.Beall}等人,J.Philos。日志。41,第3号,595--612(2012;Zbl 1260.03049) 全文: 内政部
理查德·西尔文;罗伯特·梅耶(Robert K.Meyer)。;瓦尔普拉姆伍德;Brady,Ross T。 相关逻辑及其竞争对手。第二卷。理查德·西尔文(Richard Sylvan)、罗伯特·梅耶(Robert Meyer)、瓦尔·普卢姆伍德(Val Plumwood)和罗斯·布雷迪(Ross Brady)作品的延续。编辑:Ross Brady。 (英语) Zbl 1398.03011号 西方哲学系列59.奥尔德肖特:阿什盖特出版社(ISBN 0-7546-1113-2)。xiv,第425页。(2003).MSC公司:03-06 03B47号 03B45 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan}等人,相关逻辑及其竞争对手。第二卷。理查德·西尔文(Richard Sylvan)、罗伯特·梅耶(Robert Meyer)、瓦尔·普卢姆伍德(Val Plumwood)和罗斯·布雷迪(Ross Brady)作品的延续。编辑:Ross Brady。奥尔德肖特:阿什盖特出版社(2003;Zbl 1398.03011)
理查德·西尔文 相关条件及其相关应用。 (英语) Zbl 0947.03502号 阿卡玛,精木(编辑),《逻辑、语言和计算》。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。5, 191-244 (1997).MSC公司:03B47号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan},应用程序。日志。序列号。5、191--244(1997年;Zbl 0947.03502)
理查德·西尔文 时间的其他枯萎残桩。 (英语) Zbl 0917.03006号 Copeland,B.J.(编辑),《逻辑与现实:关于亚瑟·普赖尔遗产的论文》。包括1989年新西兰基督城坎特伯雷大学亚瑟·普里尔纪念大会的论文。牛津:克拉伦登出版社。111-130 (1996). 审核人:G.牧师(布里斯班) MSC公司:03A05号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan},摘自:《逻辑与现实:亚瑟·普赖尔遗产论文》。包括1989年新西兰克赖斯特彻奇坎特伯雷大学Arthur Prior纪念会议的论文。牛津:克拉伦登出版社。111-130(1996;Zbl 0917.03006)
精木赤山;理查德·西尔文 事实、语义和直觉主义。 (英语) Zbl 0973.03011号 日志。分析。,努夫。Sér。 37,编号147-148,227-238(1994).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Akama}和\textit{R.Sylvan},日志。分析。,努夫。Sér。37,编号147--148,227--238(1994;Zbl 0973.03011)
理查德·西尔文;伊戈尔·乌尔巴斯 次协调经典逻辑。 (英语) Zbl 0835.03002号 日志。分析。,努夫。Sér。 36,编号141-142,3-24(1993).MSC公司:03B53号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan}和\textit{I.Urbas},日志。分析。,努夫。Sér。36,第141--142号,第3-24号(1993;Zbl 0835.03002)
理查德·西尔文 冷酷的故事重述:如何维持关于逻辑上令人尴尬的概念和总体的普通话语。 (英语) Zbl 0836.03004号 日志。分析。,努夫。Sér。 35,编号139-140,349-374(1992). 审核人:G.牧师(布里斯班) MSC公司:03A05号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan},日志。分析。,努夫。Sér。35,编号139--140,349--374(1992;Zbl 0836.03004)
格雷厄姆牧师;理查德·西尔文 基本相关逻辑的简化语义。 (英语) Zbl 0782.03008号 J.菲洛斯。日志。 21,第2期,217-232(1992). 审核人:S.Giambrone(拉斐特) MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{G.牧师}和textit{R.西尔文},J.菲洛斯。日志。21,第2号,217--232(1992;Zbl 0782.03008) 全文: 内政部
理查德·西尔文 过程与行动:相关理论与逻辑。 (英语) Zbl 0789.03019号 螺柱日志。 51,编号3-4,379-437(1992年). 审核人:J.培根(悉尼) MSC公司:03B47号 03A05号 03B45 03B60号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan},Stud.Log。51,编号3--4,379--437(1992;Zbl 0789.03019) 全文: 内政部
理查德·西尔文 关于解释真值表和相关真值表逻辑。 (英语) Zbl 0771.03001号 圣母院J.形式逻辑 33,第2期,207-215(1992). 审核人:G.牧师(布里斯班) MSC公司:03A05号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan},《圣母院J·形式逻辑》33,第2期,第207-215页(1992年;Zbl 0771.03001) 全文: 内政部
理查德·西尔文 达科斯塔C系统的变化和二元论逻辑。一: (C_{ω})和(CC_{Ω})的分析。 (英语) Zbl 0733.03016号 螺柱日志。 49,No.1,47-65(1990). 审核人:I.D’Ottaviano(坎皮纳斯) MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan},Stud.Log。49,编号1,47--65(1990;Zbl 0733.03016) 全文: 内政部
让·诺曼(编辑);理查德·西尔文(编辑) [van Dijk,T.A。;帕克斯-克利福德,J。;J·伍兹。;克尔科普夫,C.F。;马克西莫娃。;W.T.帕里。;安吉尔·R·B。;贝尔纳普,N.D.jun。;J.米希尔。;A.厄克哈特。;D.乌尔里奇。;帕克斯,Z。;M.伯德。;J.培根。;好的,K。;J.M.邓恩。;梅耶,R.K。;C.G.摩根。;罗特利,R。;J.B.弗里曼。;J.巴克。;格雷厄姆牧师;Crosthwaite,J。] 相关逻辑中的方向。 (英语) Zbl 0731.03014号 理由与论证,1。Dordrecht等:Kluwer学术出版社。xii,453 p.英国国防部。225.00; £72.00; $ 112.00 (1989). 审核人:S.Giambrone(拉斐特) MSC公司:03B47号 03-06 00B25型 03B53号 03B65号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Norman}(编辑)和\textit{R.Sylvan}(主编),相关逻辑中的方向。Dordrecht等:Kluwer学术出版社(1989;Zbl 0731.03014)
理查德·西尔文 所有Lewis、Lemmon和Feys的模态逻辑的关系语义,最显著的是在\(S0.3^0)和S1之间的系统。 (英语) Zbl 0714.03015号 《非经典逻辑杂志》6,第2期,19-40(1989)。 审核人:M.J.克雷斯韦尔 MSC公司:03B45 PDF格式BibTeX公司 XML格式
格雷厄姆牧师;罗特利,R。 次协调逻辑的应用。 (英语) Zbl 0697.03016号 超一致逻辑,《关于不一致的论文》,367-393(1989)。 审核人:I.D’Ottaviano公司 MSC公司:03B60号 PDF格式BibTeX公司 XML格式
格雷厄姆牧师;罗特利,R。 次协调逻辑系统。 (英语) Zbl 0697.03015号 超一致逻辑,关于不一致的论文,151-186(1989)。 审核人:M.W.邦德 MSC公司:03B60号 03-02 PDF格式BibTeX公司 XML格式
格雷厄姆牧师;罗特利,R。 第一次历史介绍。亚协调和辩证伦理方法的初步历史。 (英语) Zbl 0697.03014号 超一致逻辑,《关于不一致的论文》,3-75(1989)。 审核人:I.D’Ottaviano公司 MSC公司:03B60号 03-03 03A05号 PDF格式BibTeX公司 XML格式
伊戈尔·乌尔巴斯;理查德·西尔文 体面相关因子分解逻辑的前景。 (英语) Zbl 0697.03007号 J.非经典逻辑6,No.1,63-79(1989)。 审核人:M.乌尔赫斯 MSC公司:03B45 PDF格式BibTeX公司 XML格式
R.T.布雷迪。;罗特利,R。 外延辩证集理论的非私密性。 (英语) Zbl 0691.03037号 超一致逻辑,《关于不一致的论文》,415-436(1989)。 审核人:普赖斯特 MSC公司:03E70型 03B60号 PDF格式BibTeX公司 XML格式
格雷厄姆牧师;罗特利,R。 (逻辑)辩证法的历史大纲。 (英语) Zbl 0688.03004号 超一致逻辑,《关于不一致的论文》,76-97(1989)。 审核人:J.麦肯齐 MSC公司:03A05号 03-03 03B60号 PDF格式BibTeX公司 XML格式
罗特利,R。;普拉姆伍德,V。 道德困境和道义观念的逻辑。 (英语) Zbl 0685.03018号 超一致逻辑,关于不一致的论文,653-690(1989)。 审核人:D.梅金森 MSC公司:03B60号 03B45 PDF格式BibTeX公司 XML格式
理查德·西尔文 人工智能的相关包容逻辑和某些框架问题。 (英语) Zbl 0727.03012号 逻辑分析。,努夫。Sér。 31,编号121-122,11-25(1988).MSC公司:03B47号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan},日志。分析。,努夫。Sér。31,编号121-122,11-25(1988;Zbl 0727.03012)
理查德·西尔文;牛顿·C·A·达·科斯塔。 作为暗示的原因。 (英语) Zbl 0664.03016号 螺柱日志。 47,第4期,413-427(1988). 审核人:S.V.索洛维耶夫 MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan}和\textit{N.C.A.da Costa},研究日志。47,第4号,413--427(1988;Zbl 0664.03016) 全文: 内政部
理查德·西尔文;格雷厄姆牧师 回答另一个所谓的两难境地,破坏了双道德主义。 (英语) Zbl 0658.03004号 牛市。第节。逻辑,Pol。阿卡德。科学。 17,第1号,42-52(1988). 审核人:J.B.培根 MSC公司:03A05号 03B45 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan}和\textit{G.牧师},公牛。第节。逻辑,Pol。阿卡德。科学。17,第1号,42-52(1988年;Zbl 0658.03004)
理查德·西尔文 柯里基金会的相关失效。 (英语) Zbl 0642.03010号 牛市。第节。逻辑,Pol。阿卡德。科学。 16, 51-53 (1987).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan},公牛。第节。逻辑,Pol。阿卡德。科学。16,51-53(1987年;兹bl 0642.03010)
罗特利,R。;罗特利,V。 否定与矛盾。 (英语) Zbl 0614.03007号 科伦布牧师。材料。 19, 201-230 (1985). 审核人:普赖斯特 MSC公司:03A05号 03B45 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley}和\textit{V.Routley},Rev.Colomb。材料19,201--230(1985;Zbl 0614.03007) 全文: 欧洲DML
理查德·劳特利 美国的计划完成了:替代经典风格的语义,没有星星,用于相关的和非一致的逻辑。 (英语) Zbl 0583.03012号 螺柱日志。 43, 131-158 (1984). 审核人:普赖斯特 MSC公司:03B45 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routely},Stud.Log。43、131--158(1984年;Zbl 0583.03012) 全文: 内政部
格雷厄姆牧师;理查德·劳特利 引言:超一致逻辑。 (英语) Zbl 0575.03017号 螺柱日志。 43, 3-16 (1984).MSC公司:03B60号 03A05号 03-02 03-03 PDF格式BibTeX公司 XML格式引用 \textit{G.牧师}和\textit{R.劳特利},研究日志。43、3-16(1984年;Zbl 0575.03017) 全文: 内政部
罗特利,R。;罗特利,V。 价值理论的语义基础。 (英语) 兹伯利1366.03121 诺尔斯 17,No.3,441-456(1983).MSC公司:03A05号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley}和\textit{V.Routley},Nóus 17,No.3,441--456(1983;Zbl 1366.03121) 全文: 内政部
理查德·劳特利;瓦尔普拉姆伍德;罗伯特·梅耶(Robert K.Meyer)。;罗斯·T·布雷迪。 相关逻辑及其竞争对手。第一部分:基本的哲学和语义理论。 (英语) Zbl 0579.03011号 加利福尼亚州阿塔斯卡德罗:里奇维尤出版公司。十五、 第460页(1982年)。 审核人:普赖斯特 MSC公司:03B45 03-02 03A05号 PDF格式BibTeX公司 XML格式
理查德·劳特利 选言三段论如何被视为关联谬误。 (英语) Zbl 0492.0302号 牛市。第节。逻辑,Pol。阿卡德。科学。 10, 144-151 (1981).MSC公司:03A05号 03B45 PDF格式BibTeX公司 XML格式引用 \发短信{R.Routley},公牛。第节。逻辑,Pol。阿卡德。科学。10、144--151(1981年;Zbl 0492.0302)
理查德·劳特利;安德烈亚·洛帕里克 量化相关逻辑的语义,无需替换。 (英语) Zbl 0451.03009号 程序。第三次钎焊。数学逻辑会议,累西腓1979263-280(1980)。MSC公司:03B45 PDF格式BibTeX公司 XML格式
理查德·劳特利 量化相关逻辑语义中的问题和解决方案。一、。 (英语) Zbl 0426.03014号 拉丁美洲数学逻辑,Proc。交响乐团。,圣地亚哥1978,305-340(1980)。MSC公司:03B45 PDF格式BibTeX公司 XML格式
理查德·劳特利;尼古拉斯·格里芬 走向相对同一性的逻辑。 (英语) Zbl 0416.03006号 逻辑分析。,没有。Sér。 22, 65-83 (1979).MSC公司:03A05号 03B99 PDF格式BibTeX公司 XML格式引用 \textit{R.Routey}和\textit{N.Griffin},日志。分析。,努夫。Sér。22、65-83(1979年;Zbl 0416.03006)
罗伯特·梅耶(Robert K.Meyer)。;理查德·劳特利;J.Michael Dunn 柯里悖论。 (英语) Zbl 0411.03019号 分析。39, 124-128 (1979).MSC公司:03B99 03E25型 PDF格式BibTeX公司 XML格式
理查德·劳特利 量化一阶相关逻辑的替代语义。 (英语) Zbl 0406.03033号 螺柱日志。 38, 211-231 (1979).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Routely},Stud.Log。38211-231(1979;Zbl 0406.03033) 全文: 内政部
理查德·劳特利 量化非正规模态逻辑和某些量化准尾数逻辑的恒定域语义。 (英语) Zbl 0419.03009号 代表数学。逻辑 10, 103-121 (1978).MSC公司:03B45 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley},众议员Math。逻辑10,103--121(1978;Zbl 0419.03009)
理查德·劳特利;安德烈亚·洛帕里克 Arruda da Costa P系统和相邻非替换相关系统的语义分析。 (英语) Zbl 0406.03034号 螺柱日志。 37, 301-320 (1978).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley}和\textit{A.Loparic},螺柱日志。37、301-320(1978;Zbl 0406.03034) 全文: 内政部
理查德·劳特利 连接逻辑的语义。一、。 (英语) Zbl 0405.03009号 螺柱日志。 37, 393-412 (1978).MSC公司:03B45 03B60号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routely},Stud.Log。37、393--412(1978年;Zbl 0405.03009) 全文: 内政部
理查德·劳特利 将弱严格模态逻辑的语义焊接到模态逻辑语义的一般框架中。 (英语) Zbl 0412.03004号 Z.数学。Logik Grundlagen数学。 23, 497-510 (1977).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley},Z.数学。Logik Grundlagen数学。23、497--510(1977年;Zbl 0412.03004) 全文: 内政部
理查德·劳特利;罗伯特·梅耶(Robert K.Meyer)。 走向蕴涵和条件句的一般语义理论。二、。改进的否定理论和命题同一性。 (英语) Zbl 0394.03028号 代表数学。逻辑 9, 47-62 (1977).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Routey}和\textit{R.K.Meyer},众议员数学。逻辑9,47--62(1977;Zbl 0394.03028)
理查德·劳特利 后记:关于选择和描述冒险的一些挫折。 (英语) Zbl 0384.03015号 问题。逻辑Ontol。,Colloq.Inst.Wis.公司-理论。,萨尔茨堡1973,223-227(1977)。MSC公司:03B60号 03A05号 03C35号 PDF格式BibTeX公司 XML格式
理查德·劳特利 丰富内涵语言中的唱诗班和描述。三、。 (英语) Zbl 0384.03014号 问题。逻辑Ontol。,Colloq.Inst.Wis.公司-理论。,萨尔茨堡1973,205-222(1977)。MSC公司:03B60号 03A05号 03C35号 PDF格式BibTeX公司 XML格式
理查德·劳特利 丰富内涵语言中的选择和描述。二、。 (英语) Zbl 0384.03013号 问题。逻辑Ontol。,Colloq.Inst.Wis.公司-理论。,萨尔茨堡1973年,173-204年(1977年)。MSC公司:03B60号 03A05号 03B40型 03C35号 PDF格式BibTeX公司 XML格式
罗特利,R。;梅耶,R.K。;L·戈达德。 丰富内涵语言中的选择和描述。一、。 (英语) Zbl 0384.03012号 问题。逻辑Ontol。,Colloq.Inst.Wis.公司-理论。,萨尔茨堡1973年,147-172年(1977年)。MSC公司:03B60号 03A05号 PDF格式BibTeX公司 XML格式
理查德·劳特利;罗伯特·梅耶(Robert K.Meyer)。 每个句子逻辑都有一个二值世界语义。 (英语) Zbl 0347.02016号 逻辑分析。,没有。Sér。 19, 345-365 (1976).MSC公司:03B45 03B99 PDF格式BibTeX公司 XML格式引用 \textit{R.Routey}和\textit{R.K.Meyer},日志。分析。,努夫。Sér。19、345--365(1976;Zbl 0347.02016)
罗特利,R。;H·蒙哥马利。 (S2^0)的代数语义和必要的扩展。 (英语) Zbl 0318.02024号 圣母院J.形式逻辑 17, 44-58 (1976).MSC公司:03B45 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routey}和\textit{H.Montgomery},圣母院J.形式逻辑17,44-58(1976;Zbl 0318.02024) 全文: 内政部
罗特利,R。;H·蒙哥马利。 (S2^0)的代数语义和必要的扩展。 (英语) Zbl 0313.02010号 《圣母院J.形式逻辑》(即将出版)。MSC公司:03B45 03B25号 PDF格式BibTeX公司 XML格式
理查德·劳特利 通用语义? (英语) Zbl 0333.02007号 J.菲洛斯。逻辑 4, 327-356 (1975).MSC公司:03A05号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \文本{R.Routley},J.Philos。日志。4327-356(1975年;Zbl 0333.02007) 全文: 内政部
理查德·劳特利;罗伯特·梅耶(Robert K.Meyer)。 走向蕴涵和条件句的一般语义理论。一: 具有正常连词和析取、异常否定和正常否定的系统。 (英语) Zbl 0314.02032号 代表数学。逻辑 4, 67-89 (1975).MSC公司:03B45 03B99 PDF格式BibTeX公司 XML格式引用 \textit{R.Routey}和\textit{R.K.Meyer},众议员数学。逻辑4,67--89(1975;Zbl 0314.02032)
理查德·劳特利 费奇和纳尔逊命题系统的语义分析。 (英语) Zbl 0356.02022号 螺柱日志。 33, 283-298 (1974).MSC公司:03B55号 03B99 03C35号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Routely},Stud.Log。33、283--298(1974年;Zbl 0356.02022) 全文: 内政部
罗伯特·梅耶(Robert K.Meyer)。;理查德·劳特利 经典相关逻辑。二、。 (英语) Zbl 0316.02030号 螺柱日志。 33, 183-194 (1974).MSC公司:03B45 03B99 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Meyer}和\textit{R.Routey},Stud.Log。33183-194(1974年;兹bl 0316.02030) 全文: 内政部
罗特利,R。;R·沃尔夫。 有理语句逻辑没有有限的特征矩阵。 (英语) Zbl 0314.02028号 逻辑分析。,努夫。Sér。 17, 317-321 (1974).MSC公司:03亿xx 03B99 PDF格式BibTeX公司 XML格式引用 \textit{R.Routey}和\textit{R.Wolf},日志。分析。,努夫。Sér。17、317--321(1974年;Zbl 0314.02028)
理查德·劳特利 对逻辑结果的对立解释。 (英语) Zbl 0308.02025号 代表数学。逻辑 3, 41-51 (1974).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley},代表数学。逻辑3,41--51(1974;Zbl 0308.02025)
Routley,R。;梅耶,R.K。;L·戈达德。 丰富内涵语言中的选择和描述。一、。 (英语) Zbl 0285.02023号 J.菲洛斯。逻辑 3, 291-316 (1974).MSC公司:03B99 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley}等人,J.Philos。日志。3291-316(1974年;Zbl 0285.02023) 全文: 内政部
理查德·劳特利;罗伯特·梅耶(Robert K.Meyer)。 蕴涵的语义。 (英语) Zbl 0317.02017号 真理、语法、情态、程序。Temple Univ.Conf.候补。语义学1970,研究逻辑基础数学。68, 199-243 (1973).MSC公司:03B45 03B99 PDF格式BibTeX公司 XML格式
罗伯特·梅耶(Robert K.Meyer)。;理查德·劳特利 经典相关逻辑。一、。 (英语) Zbl 0316.02029号 螺柱日志。 32, 51-68 (1973).MSC公司:03B45 03B99 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Meyer}和\textit{R.Routey},Stud.Log。32、51-68(1973年;Zbl 0316.02029) 全文: 内政部
伦纳德,戈达德;理查德·劳特利 意义和语境的逻辑。第1卷。 (英语) Zbl 0302.02004号 爱丁堡-伦敦:苏格兰学术出版社。十、 第641页,11.00英镑(1973年)。MSC公司:03B50号 03-02 03A05号 03B45 03C80号 03B99 PDF格式BibTeX公司 XML格式
罗伯特·K·迈耶。;理查德·劳特利 无法确定的相关逻辑。 (英语) Zbl 0301.02024号 Z.数学。Logik Grundlagen数学。 19, 389-397 (1973).MSC公司:03B45 03B25号 03B99 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Meyer}和\textit{R.Routey},Z.数学。Logik Grundlagen数学。19、389--397(1973;Zbl 0301.02024) 全文: 内政部
罗特利,R。;罗特利,V。 一级蕴涵的语义。 (英语) Zbl 1366.03122号 诺尔斯 第6期,第4期,第335-359页(1972年).MSC公司:03A05号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Routey}和\textit{V.Routey},诺尔斯6,第4号,335--359(1972;Zbl 1366.03122) 全文: 内政部
罗伯特·梅耶(Robert K.Meyer)。;理查德·劳特利 蕴涵的代数分析。一、。 (英语) Zbl 0336.02020号 Logique分析。,努夫。Sér。 15, 407-428 (1972).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Meyer}和\textit{R.Routey},日志。分析。,努夫。Sér。15、407--428(1972年;Zbl 0336.02020)
理查德·劳特利;罗伯特·梅耶(Robert K.Meyer)。 蕴涵的语义。三、。 (英语) Zbl 0317.02019 J.菲洛斯。逻辑 1, 192-208 (1972).MSC公司:03B45 03B99 PDF格式BibTeX公司 XML格式引用 \textit{R.Routey}和\textit{R.K.Meyer},J.Philos。日志。1192--208(1972年;Zbl 0317.02019) 全文: 内政部
理查德·劳特利;罗伯特·梅耶(Robert K.Meyer)。 蕴涵的语义。二、。 (英语) 兹比尔0317.02018 J.菲洛斯。逻辑 1, 53-73 (1972).MSC公司:03B45 03B99 PDF格式BibTeX公司 XML格式引用 \textit{R.Routey}和\textit{R.K.Meyer},J.Philos。日志。1、53--73(1972年;Zbl 0317.02018) 全文: 内政部
罗特利,R。 Vredenduin的严格含义体系。 (英语) Zbl 0267.02012 逻辑分析。,努夫。Sér。 15, 435-437 (1972).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley},日志。分析。,没有。Sér。15、435--437(1972;Zbl 0267.02012)
理查德·劳特利 关联系统I和一级蕴涵的语义分析。 (英语) Zbl 0255.02017号 数学。安。 196, 58-84 (1972).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Routey},数学。Ann.196,58--84(1972;Zbl 0255.02017) 全文: 内政部 欧洲DML
罗特利,R。 自由、量化和重要性逻辑的无域语义。 (英语) Zbl 0261.0208号 Logique分析。,努夫。Sér。 14, 603-626 (1971).MSC公司:03B10号机组 03C80号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley},日志。分析。,努夫。Sér。14、603--626(1971;Zbl 0261.0208)
Routley,R。 传统主义和偶然导向的模态逻辑。 (英语) Zbl 0222.02017 圣母院J.形式逻辑 12, 131-152 (1971).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley},圣母院J.形式逻辑12,131--152(1971;Zbl 0222.02017) 全文: 内政部
Routley,R。 Feys系统(S2^0)和周围系统的决策程序和语义。 (英语) Zbl 0206.27502号 Z.数学。Logik Grundlagen数学。 16, 165-174 (1970).MSC公司:03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley},Z.数学。Logik Grundlagen数学。16、165--174(1970年;Zbl 0206.27502) 全文: 内政部
罗特利,R。 一个简单的自然演绎系统。 (英语) Zbl 0207.00402号 逻辑分析。,努夫。Sér。 12, 129-152 (1969).MSC公司:03B22号 03C10号机组 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley},日志。分析。,努夫。Sér。12、129--152(1969年;Zbl 0207.00402)
H·蒙哥马利。;罗特利,R。 正常模态逻辑的偶然性和非偶然性基础。 (英语) Zbl 0294.0208号 逻辑分析。,努夫。Sér。 9, 318-328 (1966).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{H.Montgomery}和\textit{R.Routey},日志。分析。,没有。Sér。9、318--328(1966年;Zbl 0294.0208)